PROPAGATE_START
} else if (type == PROPAGATE_START || type == PROPAGATE_SAT) {
graph_transition_propagate(v, PROPAGATE_START, rerr);