| completeFunction(Fragment) |   | 82% | | 83% | 2 | 7 | 2 | 18 | 0 | 1 |
| boundVariableType(Identifier) | | 76% | | 75% | 1 | 3 | 1 | 5 | 0 | 1 |
| putToGotoStatements(Statement, LabelNode) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| putToLabeledLocations(LabelNode, Location) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| peekBreakStack() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| peekContinueStack() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| gotoStatements() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| labeledLocations() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| FunctionInfo(CIVLFunction) | | 100% | | n/a | 0 | 1 | 0 | 8 | 0 | 1 |
| containsBoundVariable(Identifier) | | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| addBoundVariable(Identifier, CIVLType) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| popBoundVariableStack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| addBreakSet(Set) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addContinueSet(Set) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| popBreakStack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| popContinueStack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| function() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |