+ merge(cv, act, lastcv);
+ }
+ if (act->is_thread_join()) {
+ Thread *joinedthr = act->get_thread_operand();
+ ModelAction *finish = model->get_last_action(joinedthr->get_id());
+ ClockVector *finishcv = cvmap->get(finish);
+ changed |= (finishcv == NULL) || merge(cv, act, finishcv);