let subst_in_exp prop_in_data x e exp = let var_subst v = if eq_var v x then Some e else None in change_vars_in_exp prop_in_data var_subst exp