void (@NotNull RangeHighlighterEx marker, int start, int end, boolean greedyToLeft, boolean greedyToRight, int layer) { treeFor(marker).addInterval(marker, start, end, greedyToLeft, greedyToRight, false, layer); }