| CommonStatement.java |   | 47% | | 63% | 28 | 69 | 41 | 136 | 9 | 34 | 1 | 2 |
| CommonUpdateStatement.java | | 0% | | 0% | 30 | 30 | 80 | 80 | 12 | 12 | 1 | 1 |
| CommonCallStatement.java | | 57% | | 62% | 35 | 87 | 56 | 172 | 5 | 27 | 0 | 1 |
| CommonMallocStatement.java | | 56% | | 45% | 18 | 40 | 27 | 92 | 4 | 21 | 0 | 1 |
| CommonAssignStatement.java | | 65% | | 74% | 12 | 41 | 23 | 81 | 3 | 16 | 0 | 1 |
| CommonReturnStatement.java | | 52% | | 55% | 15 | 34 | 28 | 65 | 5 | 15 | 0 | 1 |
| CommonCivlForEnterStatement.java | | 42% | | 28% | 11 | 21 | 24 | 45 | 2 | 12 | 0 | 1 |
| CommonCivlParForSpawnStatement.java | | 46% | | 0% | 9 | 20 | 17 | 36 | 3 | 14 | 0 | 1 |
| CommonWithStatement.java | | 48% | | 40% | 10 | 18 | 17 | 33 | 5 | 13 | 0 | 1 |
| CommonNoopStatement.java | | 68% | | 38% | 6 | 21 | 13 | 45 | 3 | 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 |
| CommonLoopBranchStatement.java | | 69% | | 25% | 7 | 10 | 6 | 18 | 3 | 6 | 0 | 1 |
| CommonSwitchBranchStatement.java | | 73% | | 50% | 3 | 7 | 3 | 15 | 1 | 4 | 0 | 1 |
| CommonIfElseBranchStatement.java | | 79% | | 38% | 5 | 7 | 4 | 14 | 1 | 3 | 0 | 1 |
| CommonAtomBranchStatement.java | | 76% | | 38% | 5 | 7 | 4 | 12 | 1 | 3 | 0 | 1 |
| CommonGotoBranchStatement.java | | 76% | | 75% | 2 | 5 | 1 | 10 | 1 | 3 | 0 | 1 |