Make Transition's attributes const as much as possible.
Process::push works. (2 messages)