Do pre-subsumption in the main subsumption check