visitTerm

open override fun visitTerm(ctx: TermContext): Term