[car-sequencing] revisiting clauses