Module extraction does not take into account manually added negative test cases

Let us assume that the following non entailed test case exists before a debugging session (Koala ontology):

With module extraction switched off, we get the correct diagnoses regarding this axiom:

With module extraction switched on, we get incorrect diagnoses that do not contain this axiom:

Fix: include already existing test cases for module extraction