void (@NotNull ResolvedStreamChain resolvedChain) { for (final ResolvedStreamCall.Intermediate intermediate : resolvedChain.getIntermediateCalls()) { checkNeighborTraces(intermediate.getStateBefore(), intermediate.getStateAfter()); } final ResolvedStreamCall.Terminator terminator = resolvedChain.getTerminator(); final PrevAwareState after = terminator.getStateAfter(); if (after != null) { checkNeighborTraces(terminator.getStateBefore(), after); } }