assertCycleSequence1.v