visitSingletonTerm

open override fun visitSingletonTerm(ctx: SingletonTermContext): Term