Function expr_const_value 

pub(crate) fn expr_const_value(expr: &Expr) -> Option<U256>

Returns the expr_const_value symbolic expression helper result.