simplified edge subsumption code