/.VampireLanguageProposalProvider.java._trace