if (received.keySet().containsAll(this.precedingOperators)) {
this.messages.remove(msg.getId());
}
msg = msg.merge(received.values(), this);
}
msg = msg.preProcessDebug(this, debugstep);
msg = this.forwardMessageDebug(msg, debugstep);
if (msg == null) {
return null;
} else {
return msg.postProcessDebug(this, debugstep);