/.VampireLanguageDescriptionLabelProvider.java._trace
/.VampireLanguageLabelProvider.java._trace