subsumption check works for complete edges