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