| collectVariablesWorker(Expression, Set) |   | 35% | | 44% | 40 | 44 | 49 | 94 | 0 | 1 |
| findDataAndControlDependencies(List, Set) | | 58% | | 50% | 22 | 32 | 16 | 64 | 0 | 1 |
| DynamicDependence(ErrorAutomaton, Map, Map) | | 96% | | n/a | 0 | 1 | 0 | 20 | 0 | 1 |
| static {...} | | 75% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| mapParamsToArgs(CallOrSpawnStatement) | | 100% | | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| assignUpdate(Variable, Expression, ErrorCfaLoc, Set, Set) | | 100% | | 100% | 0 | 2 | 0 | 5 | 0 | 1 |
| isAssign(ErrorCfaLoc) | | 100% | | 100% | 0 | 4 | 0 | 6 | 0 | 1 |
| collectControlDependentBranches(Stack, Set) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| collectVariables(Expression) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| isBranch(ErrorCfaLoc) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| collectAllBranches(ErrorAutomaton) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| isFunctionCall(ErrorCfaLoc) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getDependentBranches() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getAllBranches() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVariablesOfInterestMap() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |