| CommonUpdateStatement.java |  | 0% |  | 0% | 30 | 30 | 80 | 80 | 12 | 12 | 1 | 1 |
| CommonStatement.java |   | 51% |   | 64% | 17 | 52 | 32 | 117 | 6 | 31 | 1 | 2 |
| CommonCallStatement.java |   | 74% |   | 75% | 24 | 80 | 30 | 164 | 3 | 26 | 0 | 1 |
| CommonMallocStatement.java |   | 55% |   | 44% | 16 | 38 | 25 | 90 | 4 | 21 | 0 | 1 |
| CommonReturnStatement.java |   | 48% |   | 56% | 13 | 31 | 27 | 60 | 5 | 14 | 0 | 1 |
| CommonCivlForEnterStatement.java |   | 32% |  | 0% | 6 | 15 | 23 | 38 | 2 | 11 | 0 | 1 |
| CommonWithStatement.java |  | 0% |  | 0% | 13 | 13 | 26 | 26 | 12 | 12 | 1 | 1 |
| CommonNoopStatement.java |   | 65% |  | 0% | 4 | 18 | 12 | 40 | 2 | 16 | 0 | 1 |
| CommonAssignStatement.java |   | 89% |   | 88% | 6 | 35 | 3 | 73 | 1 | 15 | 0 | 1 |
| CommonAtomicLockAssignStatement.java |   | 42% |  | 0% | 4 | 9 | 5 | 13 | 2 | 7 | 0 | 1 |
| CommonCivlParForSpawnStatement.java |   | 65% | | n/a | 2 | 13 | 8 | 27 | 2 | 13 | 0 | 1 |
| CommonParallelAssignStatement.java |  | 0% | | n/a | 7 | 7 | 9 | 9 | 7 | 7 | 1 | 1 |
| CommonSwitchBranchStatement.java |   | 60% |  | 0% | 2 | 4 | 3 | 10 | 1 | 3 | 0 | 1 |
| CommonLoopBranchStatement.java |   | 78% |   | 50% | 3 | 7 | 2 | 14 | 2 | 5 | 0 | 1 |
| CommonGotoBranchStatement.java |   | 57% | | n/a | 1 | 2 | 1 | 5 | 1 | 2 | 0 | 1 |
| CommonAtomBranchStatement.java |   | 65% |  | 0% | 2 | 3 | 3 | 7 | 1 | 2 | 0 | 1 |
| CommonIfElseBranchStatement.java |  | 100% |  | 100% | 0 | 3 | 0 | 9 | 0 | 2 | 0 | 1 |