void (@NotNull List<TraceElement> values, @NotNull PropagationDirection direction) { if (direction.equals(PropagationDirection.BACKWARD)) { propagateBackward(values); } else { propagateForward(values); } }