private void propagateBackward(@NotNull List<TraceElement> values) {
    if (myPrevListener == null) return;
    final List<TraceElement> prevValues =
      values.stream().flatMap(x -> getPrevValues(x).stream()).collect(Collectors.toList());
    myPrevListener.highlightingChanged(prevValues, PropagationDirection.BACKWARD);
  }
private void propagateBackward(@NotNull List<TraceElement> values)