mgu

open fun mgu(    term1: Any,     term2: Any,     occurCheckEnabled: Boolean = true): <ERROR CLASS>