visitAtom

open override fun visitAtom(term: Atom): T