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