[car-sequencing] reformulate clauses