/.VampireLanguageOutlineTreeProvider.java._trace