| CommonUpdateStatement.java |  | 0% | | 0% | 32 | 32 | 85 | 85 | 13 | 13 | 1 | 1 |
| CommonCallStatement.java |  | 68% | | 68% | 30 | 88 | 45 | 181 | 4 | 29 | 0 | 1 |
| CommonStatement.java | | 64% | | 64% | 26 | 67 | 37 | 131 | 9 | 34 | 0 | 1 |
| CommonWithStatement.java | | 0% | | 0% | 19 | 19 | 36 | 36 | 14 | 14 | 1 | 1 |
| CommonMallocStatement.java | | 65% | | 50% | 22 | 44 | 28 | 101 | 4 | 22 | 0 | 1 |
| CommonAssignStatement.java | | 67% | | 74% | 12 | 42 | 23 | 85 | 3 | 17 | 0 | 1 |
| CommonCivlForEnterStatement.java | | 48% | | 27% | 11 | 22 | 24 | 50 | 2 | 13 | 0 | 1 |
| CommonReturnStatement.java | | 58% | | 60% | 14 | 36 | 28 | 69 | 5 | 16 | 0 | 1 |
| CommonCivlParForSpawnStatement.java | | 39% | | 0% | 10 | 21 | 22 | 41 | 4 | 15 | 0 | 1 |
| CommonParallelAssignStatement.java | | 0% | | 0% | 12 | 12 | 20 | 20 | 9 | 9 | 1 | 1 |
| CommonNoopStatement.java | | 67% | | 40% | 7 | 23 | 14 | 49 | 3 | 18 | 0 | 1 |
| CommonAtomicLockAssignStatement.java | | 58% | | 25% | 8 | 17 | 11 | 28 | 2 | 11 | 0 | 1 |
| CommonLoopBranchStatement.java | | 68% | | 25% | 7 | 10 | 6 | 18 | 3 | 6 | 0 | 1 |
| CommonSwitchBranchStatement.java | | 81% | | 50% | 3 | 7 | 3 | 15 | 1 | 4 | 0 | 1 |
| CommonIfElseBranchStatement.java | | 79% | | 37% | 5 | 7 | 4 | 14 | 1 | 3 | 0 | 1 |
| CommonGotoBranchStatement.java | | 88% | | 75% | 2 | 5 | 1 | 10 | 1 | 3 | 0 | 1 |