RecLemmas
val find_mutually_recursive_statements : Evd.evar_map -> EConstr.rel_context list -> EConstr.t list -> Pretyping.possible_guard