/.VampireLanguageParsingTest.java._trace
/.VampireLanguageParsingTest.xtendbin
/VampireLanguageParsingTest.java