/.VampireLanguageQuickfixProvider.java._trace