Show inferred axioms in the test cases after debugging session

The information about inferred axioms is lost once a final repair has been found because of a minor bug. Show this useful information also in the repair phase.