def METHOD_NAME():
    tc.reset()
    tv = setup_typevar(str)
    resolve_helper(tv, str)
    unify_helper(tv, str, str)
    unify_helper(str, tv, str)
    unify_helper(tv, int, TypeFail(f"Incompatible Types {str} and {int}"))
    unify_helper(int, tv, TypeFail(f"Incompatible Types {int} and {str}"))