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