Creates an entity from an operation, under the run of the operation and name, as send sends. A creation is
stored apart from messages, so the same operation may then send the entity a message under the same name
(decisions 0017, 0050, 0060). A restarted operation is given the rejection of init the run before it was given,
though the entity may exist since (decision 0253). The flags come last, and are left out where the program's flags
are null (decision 0245). Once the operation's entity crashes, the run creates nothing, as it sends nothing
(decision 0274).
Creates an entity from an operation, under the run of the operation and
name, assendsends. A creation is stored apart from messages, so the same operation may then send the entity a message under the same name (decisions 0017, 0050, 0060). A restarted operation is given the rejection ofinitthe run before it was given, though the entity may exist since (decision 0253). The flags come last, and are left out where the program's flags arenull(decision 0245). Once the operation's entity crashes, the run creates nothing, as it sends nothing (decision 0274).