Debug bottomUp subsumption
Debug bottomUp subsumption
Investigate bottomUp subsumption
Implement backjumping foldDown and use it for bottomUp subsumption algorithms