| evalVariableBegin(AST.Variable) |   | 14% |   | 25% | 2 | 3 | 10 | 13 | 0 | 1 |
| checkReaches() |   | 80% |   | 90% | 2 | 12 | 6 | 27 | 0 | 1 |
| getLCA(AST.Asset, AST.Asset) |   | 46% |   | 62% | 3 | 5 | 4 | 9 | 0 | 1 |
| addField(Scope, AST.Asset, AST.Asset, AST.ID, AST.Association) |   | 74% |   | 66% | 2 | 4 | 4 | 16 | 0 | 1 |
| checkToAsset(AST.Asset, AST.Expr) |   | 78% |   | 93% | 1 | 9 | 3 | 15 | 0 | 1 |
| checkAssociations() |   | 76% |   | 87% | 1 | 5 | 2 | 13 | 0 | 1 |
| checkCallExpr(AST.Asset, AST.CallExpr) |   | 66% |   | 50% | 2 | 3 | 2 | 8 | 0 | 1 |
| checkTTCExpr(AST.TTCExpr, boolean) |   | 87% |   | 95% | 1 | 11 | 2 | 19 | 0 | 1 |
| getAsset(AST.ID) |   | 48% |   | 50% | 1 | 2 | 2 | 4 | 0 | 1 |
| checkExtends() |   | 85% |   | 75% | 2 | 5 | 2 | 9 | 0 | 1 |
| checkSubTypeExpr(AST.Asset, AST.SubTypeExpr) |   | 91% |   | 66% | 2 | 4 | 2 | 10 | 0 | 1 |
| _analyze() |   | 92% |   | 50% | 1 | 2 | 1 | 19 | 0 | 1 |
| hasStep(AST.Asset, String) |   | 85% |   | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| checkSetExpr(AST.Asset, AST.BinaryExpr) |   | 95% |   | 66% | 2 | 4 | 1 | 10 | 0 | 1 |
| checkTransitiveExpr(AST.Asset, AST.TransitiveExpr) |   | 94% |   | 75% | 1 | 3 | 1 | 8 | 0 | 1 |
| checkStepExpr(AST.Asset, AST.StepExpr) |   | 88% |   | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| variableToAsset(AST.Asset, AST.Variable) |   | 88% |   | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| readSteps(Scope, AST.Asset) |  | 100% |  | 100% | 0 | 9 | 0 | 26 | 0 | 1 |
| checkTTC() |  | 100% |   | 93% | 1 | 9 | 0 | 23 | 0 | 1 |
| checkMetas() |  | 100% |  | 100% | 0 | 8 | 0 | 21 | 0 | 1 |
| checkParents() |  | 100% |  | 100% | 0 | 7 | 0 | 22 | 0 | 1 |
| checkCIA() |  | 100% |   | 87% | 2 | 9 | 0 | 15 | 0 | 1 |
| checkUnused() |  | 100% |  | 100% | 0 | 7 | 0 | 20 | 0 | 1 |
| getTarget(AST.Asset, AST.ID) |  | 100% |  | 100% | 0 | 4 | 0 | 16 | 0 | 1 |
| checkDefines() |  | 100% |  | 100% | 0 | 7 | 0 | 19 | 0 | 1 |
| checkVariables() |  | 100% |  | 100% | 0 | 4 | 0 | 13 | 0 | 1 |
| readFields(Scope, AST.Asset) |  | 100% |  | 100% | 0 | 6 | 0 | 13 | 0 | 1 |
| checkToStep(AST.Asset, AST.Expr) |  | 100% |  | 100% | 0 | 5 | 0 | 17 | 0 | 1 |
| checkAssets() |  | 100% |  | 100% | 0 | 4 | 0 | 12 | 0 | 1 |
| checkAbstract() |  | 100% |  | 100% | 0 | 7 | 0 | 13 | 0 | 1 |
| checkMeta(List) |  | 100% |  | 100% | 0 | 3 | 0 | 10 | 0 | 1 |
| Analyzer(AST, boolean, boolean) |  | 100% | | n/a | 0 | 1 | 0 | 12 | 0 | 1 |
| readVariables(Scope, AST.Asset) |  | 100% |  | 100% | 0 | 4 | 0 | 10 | 0 | 1 |
| addVariable(Scope, AST.Variable) |  | 100% |  | 100% | 0 | 2 | 0 | 8 | 0 | 1 |
| checkCategories() |  | 100% |  | 100% | 0 | 4 | 0 | 6 | 0 | 1 |
| checkSteps() |  | 100% |  | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| checkFields() |  | 100% |  | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| isChild(AST.Asset, AST.Asset) |  | 100% |  | 100% | 0 | 3 | 0 | 6 | 0 | 1 |
| setupFieldReferenceCounts(AST.Association) |  | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| getParents(AST.Asset) |  | 100% |  | 100% | 0 | 2 | 0 | 6 | 0 | 1 |
| addFieldReference(AST.Association, AST.ID) |  | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 |
| collectAssociations() |  | 100% |  | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| addVariableReference(AST.Variable) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| analyzeLog() |  | 100% | | n/a | 0 | 1 | 0 | 7 | 0 | 1 |
| error(Position, String) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| analyze(AST, boolean, boolean) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| error(String) |  | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| evalVariableEnd(AST.Variable) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| checkIDExpr(AST.Asset, AST.IDExpr) |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| analyze(AST) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| checkTTCExpr(AST.TTCExpr) |  | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| exception() |  | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |