/.VampireTest.java._trace
/.SimpleRun.java._trace