/.VampireLanguageValidator.java._trace