Correct new version of subsumption check