bring back the accidentally commented optimization for computing the
subsumers (checking for the last branch)