/.VampireLanguageFormatter.java._trace
/.VampireLanguageFormatter.xtendbin
/VampireLanguageFormatter.java