| CommonStatementList |  | 0% |  | 0% | 50 | 50 | 96 | 96 | 30 | 30 | 1 | 1 |
| CommonCallStatement |   | 68% |   | 70% | 24 | 67 | 35 | 147 | 4 | 22 | 0 | 1 |
| StatementSet |   | 14% |   | 7% | 37 | 42 | 65 | 75 | 23 | 27 | 0 | 1 |
| CommonAssertStatement |   | 60% |   | 57% | 18 | 44 | 35 | 98 | 3 | 14 | 0 | 1 |
| CommonMallocStatement |   | 55% |   | 53% | 17 | 36 | 24 | 80 | 5 | 19 | 0 | 1 |
| CommonStatement |   | 63% |   | 61% | 13 | 40 | 21 | 93 | 2 | 22 | 0 | 1 |
| CommonCivlForEnterStatement |   | 28% |  | 0% | 7 | 15 | 23 | 36 | 3 | 11 | 0 | 1 |
| CommonReturnStatement |   | 63% |   | 61% | 10 | 27 | 20 | 50 | 4 | 13 | 0 | 1 |
| CommonAssumeStatement |   | 66% |   | 33% | 6 | 16 | 12 | 34 | 3 | 13 | 0 | 1 |
| CommonCivlParForEnterStatement |   | 59% | | n/a | 3 | 13 | 10 | 26 | 3 | 13 | 0 | 1 |
| CommonStatementList.new Object() {...} |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| CommonAtomicLockAssignStatement |   | 43% |  | 0% | 2 | 6 | 4 | 11 | 1 | 5 | 0 | 1 |
| CommonNoopStatement |   | 40% |  | 0% | 5 | 10 | 9 | 16 | 4 | 9 | 0 | 1 |
| CommonAssignStatement |   | 91% |   | 91% | 4 | 30 | 3 | 62 | 1 | 14 | 0 | 1 |
| CommonSwitchBranchStatement |   | 59% |  | 0% | 2 | 4 | 3 | 10 | 1 | 3 | 0 | 1 |
| CommonGotoBranchStatement |   | 55% | | n/a | 1 | 2 | 1 | 5 | 1 | 2 | 0 | 1 |
| CommonAtomBranchStatement |   | 63% |  | 0% | 2 | 3 | 3 | 7 | 1 | 2 | 0 | 1 |
| CommonStatement.new Object() {...} |  | 88% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| CommonCallStatement.new Object() {...} |  | 88% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| CommonLoopBranchStatement |  | 100% |  | 100% | 0 | 3 | 0 | 8 | 0 | 2 | 0 | 1 |
| CommonIfElseBranchStatement |  | 100% |  | 100% | 0 | 3 | 0 | 8 | 0 | 2 | 0 | 1 |