let subst_vars_in_pred var_subst p =
  let rec do_exp exp = change_in_exp var_subst exp
  in change_exp_in_pred do_exp p