Class RewriteAddChkpointInLoop