mguWith

open infix fun Any.mguWith(other: Any): Substitution