def METHOD_NAME():
    tc.reset()
    tv1 = tc.fresh_tvar()
    tv2 = tc.fresh_tvar()
    fn1 = create_Callable([tv1, tv2], bool, {tv1, tv2})
    fn2 = create_Callable([int, int], bool)
    unify_helper(fn1, fn2, Callable[[int, int], bool])