/.VampireLanguageProposalProvider.java._trace
/.VampireLanguageProposalProvider.xtendbin
/VampireLanguageProposalProvider.java