let
change_exp_in_pred do_exp = change_exp_in_pred do_exp no_quantif_do_exp