let rec change_vars_in_exp prop_in_data var_subst exp = 
  let do_data d = prop_in_data (change_vars_in_exp prop_in_data var_subst) d in
   change_in_exp var_subst do_data exp