/.MedicalSystem.java._trace
/.VampireTest.java._trace