let prerr_term (t : Types.atoms_type Types.term_structure) : unit =
   prerr_string (term_to_string t)