visitAtom

open fun visitAtom(term: Atom): T