compare

open override fun compare(a: Term, b: Term): Int