let no_quantif_do_exp do_exp qqvar = let var_term = e_var qqvar in match do_exp var_term with | Tvar v when Var.equal qqvar v -> do_exp | _ -> assert false