def unify(compiler, cont, x, y): return cps_convert_unify(x, y, compiler, cont)
def notunify(compiler, cont, x, y): v = compiler.new_var(il.ConstLocalVar('v')) cont1 = il.clamda(v, il.failcont(il.FALSE)) cont2 = il.clamda(v, cont(il.TRUE)) return il.begin(il.SetFailCont(cont2), cps_convert_unify(x, y, compiler, cont1))