Program: 73610
Project: 73610
Buggy source:
/** 
 * Transfer at most one data token from the given output port of the container to the ports it is connected to on the outside. If the receiver is known to be empty, then send a clear. If the receiver status is not known, do nothing.
 * @exception IllegalActionException If the port is not an opaque output port.
 * @param port The port to transfer tokens from.
 * @return True if the port has an inside token that was successfully transferred. Otherwisereturn false (or throw an exception).
 */
protected boolean _transferOutputs(IOPort port) throws IllegalActionException {
  boolean result=false;
  if (_debugging) {
    _debug("String_Node_Str" + port.getFullName());
  }
  if (!port.isOutput() || !port.isOpaque()) {
    throw new IllegalActionException(this,port,"String_Node_Str" + "String_Node_Str");
  }
  for (int i=0; i < port.getWidthInside(); i++) {
    try {
      if (port.isKnownInside(i)) {
        if (port.hasTokenInside(i)) {
          Token t=port.getInside(i);
          if (_debugging) {
            _debug(getName(),"String_Node_Str" + t + "String_Node_Str"+ port.getName());
          }
          port.send(i,t);
          _hadToken.add(port);
          result=true;
        }
 else {
          if (_debugging) {
            _debug(getName(),"String_Node_Str" + port.getName());
          }
          if (!_hadToken.contains(port)) {
            FSMActor controller=getController();
            boolean guardsEvaluable=_isSafeToClear(port,controller);
            if (guardsEvaluable) {
              port.send(i,null);
            }
          }
        }
      }
    }
 catch (    NoTokenException ex) {
      throw new InternalErrorException(this,ex,null);
    }
  }
  return result;
}

Fixed version (ground truth):
/** 
 * Transfer at most one data token from the given output port of the container to the ports it is connected to on the outside. If the receiver is known to be empty, then send a clear. If the receiver status is not known, do nothing.
 * @exception IllegalActionException If the port is not an opaque output port.
 * @param port The port to transfer tokens from.
 * @return True if the port has an inside token that was successfully transferred. Otherwisereturn false (or throw an exception).
 */
protected boolean _transferOutputs(IOPort port) throws IllegalActionException {
  boolean result=false;
  if (_debugging) {
    _debug("String_Node_Str" + port.getFullName());
  }
  if (!port.isOutput() || !port.isOpaque()) {
    throw new IllegalActionException(this,port,"String_Node_Str" + "String_Node_Str");
  }
  for (int i=0; i < port.getWidthInside(); i++) {
    try {
      if (port.isKnownInside(i)) {
        if (port.hasTokenInside(i)) {
          Token t=port.getInside(i);
          if (_debugging) {
            _debug(getName(),"String_Node_Str" + t + "String_Node_Str"+ port.getName());
          }
          port.send(i,t);
          _hadToken.add(port);
          result=true;
        }
 else {
          if (!_hadToken.contains(port)) {
            if (_debugging) {
              _debug(getName(),"String_Node_Str" + port.getName());
            }
            FSMActor controller=getController();
            if ((controller.getLastChosenTransition() != null) || _isSafeToClear(port,controller)) {
              port.send(i,null);
            }
          }
        }
      }
    }
 catch (    NoTokenException ex) {
      throw new InternalErrorException(this,ex,null);
    }
  }
  return result;
}