Minor optimization to avoid asking for negatives if there is a conflict or the unfication is incomplete.