code: protected FlowScope nextPreciserScopeKnowingConditionOutcome(Node condition,
        FlowScope blindScope, boolean outcome) {
      return nextLink != null ? nextLink.getPreciserScopeKnowingConditionOutcome(
          condition, blindScope, outcome) : blindScope;
    }
docs: Delegates the calculation of the preciser scope to the next link.
  If there is no next link, returns the blind scope.