create resolve_constant_expr function