match

open fun match(    term1: Any,     term2: Any,     occurCheckEnabled: Boolean = true): Boolean