@NotNull
  @Override
  public List<TraceElement> getNextValues(@NotNull TraceElement value) {
    return myToNext.getOrDefault(value, Collections.emptyList());
  }
@NotNull
  @Override
  public List<TraceElement> getNextValues(@NotNull TraceElement value)