CWhile should be conditioned by CFalse