let observed_expr_is_param = ref Only_vars