
Contract C
+-----------------------+-------------------+
| Function              | require or assert |
+-----------------------+-------------------+
| normalLoopBlockBody   |                   |
| normalLoopExprBody    |                   |
| normalLoopNoBody      |                   |
| loopNoPre             |                   |
| loopNoCond            |                   |
| loopNoPost            |                   |
| loopNoPreCond         |                   |
| loopNoPrePost         |                   |
| loopNoCondPost        |                   |
| loopNoPreCondPost     |                   |
| loopNoPreCondPostBody |                   |
+-----------------------+-------------------+
