| boundVariableType(Identifier) |   | 72% | | 50% | 2 | 3 | 2 | 5 | 0 | 1 |
| gotoStatements() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| labeledLocations() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| completeFunction(Fragment) | | 100% | | 100% | 0 | 7 | 0 | 26 | 0 | 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 |
| putToGotoStatement(Statement, LabelNode) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| putToLabeledLocations(LabelNode, Location) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addBreakSet(Set) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| addContinueSet(Set) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| peekBreakStack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| peekContinueStack() | | 100% | | n/a | 0 | 1 | 0 | 1 | 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 |