1 2 3
/.VampireLanguageParsingTest.java._trace /.VampireLanguageParsingTest.xtendbin /VampireLanguageParsingTest.java