Using CCG for termination; works for arrayTest, but breaks loopTest.