as

open override fun <T : Term> as(): T?

Helper method aimed at down-casting Terms using a fluent style

the current term, cast'd into type T, or null, in case the current term is not an instance of T

must be a subtype of Term