code: protected FlowScope firstPreciserScopeKnowingConditionOutcome(Node condition,
        FlowScope blindScope, boolean outcome) {
      return firstLink.getPreciserScopeKnowingConditionOutcome(
          condition, blindScope, outcome);
    }
docs: Calculates the preciser scope starting with the first link.