Add test case for cyclic equivalence.