const CommRecvTransition* cast_recv = static_cast<CommRecvTransition const*>(transition);
if (cast_recv != nullptr and mailbox_.count(cast_recv->get_mailbox()) > 0 and
const CommRecvTransition* cast_recv = static_cast<CommRecvTransition const*>(transition);
if (cast_recv != nullptr and mailbox_.count(cast_recv->get_mailbox()) > 0 and