Normalize.Smtlib
val mapper : Term.t Term.mapper
A mapper suitable to normalize terms parsed from a tptp problem file.