fix subsumed counter