lib(cycle)

   Cycle constraint

