Fix bug in BottomUpSubsumption

relates to Issue #77