/.VampireLanguageParsingTest.java._trace