The Cyclic S EQUENCE Constraint