| CommonStatement.java |   | 47% | | 64% | 27 | 69 | 41 | 136 | 9 | 34 | 1 | 2 |
| CommonUpdateStatement.java | | 0% | | 0% | 30 | 30 | 80 | 80 | 12 | 12 | 1 | 1 |
| CommonCallStatement.java | | 68% | | 67% | 32 | 88 | 44 | 174 | 4 | 28 | 0 | 1 |
| CommonMallocStatement.java | | 53% | | 39% | 20 | 40 | 29 | 92 | 4 | 21 | 0 | 1 |
| CommonCivlForEnterStatement.java | | 26% | | 0% | 12 | 21 | 30 | 45 | 3 | 12 | 0 | 1 |
| CommonAssignStatement.java | | 68% | | 74% | 11 | 41 | 22 | 81 | 2 | 16 | 0 | 1 |
| CommonReturnStatement.java | | 58% | | 57% | 14 | 34 | 26 | 65 | 4 | 15 | 0 | 1 |
| CommonCivlParForSpawnStatement.java | | 46% | | 0% | 9 | 20 | 17 | 36 | 3 | 14 | 0 | 1 |
| CommonWithStatement.java | | 47% | | 40% | 10 | 18 | 17 | 33 | 5 | 13 | 0 | 1 |
| CommonNoopStatement.java | | 69% | | 37% | 5 | 21 | 12 | 45 | 2 | 17 | 0 | 1 |
| CommonParallelAssignStatement.java | | 0% | | 0% | 10 | 10 | 14 | 14 | 8 | 8 | 1 | 1 |
| CommonAtomicLockAssignStatement.java | | 53% | | 30% | 7 | 13 | 6 | 18 | 2 | 8 | 0 | 1 |
| CommonSwitchBranchStatement.java | | 72% | | 50% | 3 | 7 | 3 | 15 | 1 | 4 | 0 | 1 |
| CommonLoopBranchStatement.java | | 79% | | 50% | 5 | 10 | 3 | 18 | 2 | 6 | 0 | 1 |
| CommonAtomBranchStatement.java | | 75% | | 37% | 5 | 7 | 4 | 12 | 1 | 3 | 0 | 1 |
| CommonGotoBranchStatement.java | | 75% | | 75% | 2 | 5 | 1 | 10 | 1 | 3 | 0 | 1 |
| CommonIfElseBranchStatement.java | | 97% | | 75% | 2 | 7 | 0 | 14 | 0 | 3 | 0 | 1 |