+tests for non-subsumptions
some more non-subsumption tests
* reduce the set of candidate possible subsumption after each
subsumption test; 
* added a new type of conclusion "NegativeConjecture" specifically for
subsumption tests, but it results in more inferences, so not used at the
moment; 
* printing statistics on the number of added & removed conclusions