/.VampireLanguageValidator.java._trace
/.VampireLanguageValidator.xtendbin
/VampireLanguageValidator.java