defaultValue

open override fun defaultValue(term: Term): T