state->addEntityValue(operation, instr_find_color(operation));
new simgrid::instr::PushStateEvent(SIMIX_get_clock(), container, state, state->getEntityValue(operation),
static_cast<void*>(extra));
state->addEntityValue(operation, instr_find_color(operation));
new simgrid::instr::PushStateEvent(SIMIX_get_clock(), container, state, state->getEntityValue(operation),
static_cast<void*>(extra));