code: private void produce(IsNullValue value) {
          IsNullValueFrame frame = getFrame();
          frame.pushValue(value);
          newValueOnTOS();
      }
docs: to produce different values in each of the control successors.