simcall_execution_test__set__result(simcall, (synchro->state != SIMIX_WAITING && synchro->state != SIMIX_RUNNING));
if (simcall_execution_test__get__result(simcall)) {
synchro->simcalls.push_back(simcall);
simcall_execution_test__set__result(simcall, (synchro->state != SIMIX_WAITING && synchro->state != SIMIX_RUNNING));
if (simcall_execution_test__get__result(simcall)) {
synchro->simcalls.push_back(simcall);