/* propagate synchronization to later actions */
action_list_t::reverse_iterator it = action_trace->rbegin();
- while ((*it) != act) {
+ for (; (*it) != act; it++) {
ModelAction *propagate = *it;
if (act->happens_before(propagate)) {
propagate->synchronize_with(act);