invalid.setNodeSourcePosition(sourcePosition); for (StateSplit lastSideEffect : sideEffects.sideEffects()) { lastSideEffect.setStateAfter(invalid);
invalid.setNodeSourcePosition(sourcePosition); for (StateSplit lastSideEffect : sideEffects.sideEffects()) { lastSideEffect.setStateAfter(invalid);