instance_in_transition
assert(instance_in_transition(inst) == 1);
assert(instance_in_transition(inst));
if (instance_in_transition(inst)) {
assert(instance_in_transition(inst) == 0);
assert(instance_in_transition(inst) == 0);
assert(instance_in_transition(inst) == 0);
assert(instance_in_transition(inst) == 0);
int instance_in_transition(restarter_inst_t *);