Fixed a problem with subsumming scenarios