let print_term (t : Types.atoms_type Types.term_structure) : unit =
   prout_string (term_to_string t)