match

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