mkEqualTo

open fun mkEqualTo(a: Var, b: Var): Var