Termination and Correctness Analysis of Cyclic Control