/.VampireTest.java._trace
/.SimpleRun.java._trace
/.DslTest.java._trace
/.MedicalSystem.java._trace