let term_to_string = Pretty.to_string Term.pp