protected Message forwardMessageDebug(final Message msg, final DebugStep debugstep) { msg.setVisited(this); Message result = msg; for (final OperatorIDTuple opid : this.succeedingOperators) { if (!msg.hasVisited(opid.getOperator())) { final Message msg2 = msg.clone(); result = opid.getOperator().receiveDebug(msg2, this, debugstep); } } return result; }