After remove test case axiom, the Repair diagnoses and queries should also be changed at same time