visitFact

open fun visitFact(term: Fact): T