Convert predictate isCforLoop to isCForLoop