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