assertCycleSequence2.v