/.VampireLanguageGenerator.java._trace
/.VampireLanguageGenerator.xtendbin
/VampireLanguageGenerator.java