void checkPredecessorInSeqOneToFive(Seq& seq) { for (int i = 0; i < 4; ++i) { seq.next(); EXPECT_EQ(i+1, seq.cpred()); } for (int i = 1; i < 5; ++i) { EXPECT_EQ(5-i, seq.cpred(i)); } }