Resolution and unification win checker complete