//assert schedule_f[aid] : "try to propagate an unscheduled propagator";
schedule_f[aid] = false;
if (lastProp.reactToFineEvent()) {
IntCircularQueue evtset = event_f[aid];
while (!evtset.isEmpty()) {
int v = evtset.pollFirst();
assert lastProp.isActive() : "propagator is not active:" + lastProp;
if (Configuration.PRINT_PROPAGATION) {
Trace.printPropagation(lastProp.getVar(v), lastProp);
}
// clear event