/.SolverSemanticHighlightCalculator.java._trace
/.SolverSemanticTextAttributeProvider.java._trace