let subst_vars_in_pred prop_in_data var_subst p =
  let rec do_exp exp = change_in_exp var_subst do_data exp
  and do_data d = prop_in_data do_exp d
  in change_exp_in_pred do_exp p