subsumption testing buggy: failed test added