subsumers computation: detecting the last branch if there are no
possible composed & decomposed subsumers left. Reduces the number of
backtracking but the difference is not that dramatic.