checking cycle enumeration implementations for correctness