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