| translateFunctionCallExpression(FunctionCallNode, Scope) |   | 44% |   | 38% | 11 | 12 | 9 | 20 | 0 | 1 |
| mergeSingleKindContracts(List, CIVLTypeFactory, ModelFactory) |   | 54% |   | 80% | 2 | 6 | 9 | 32 | 0 | 1 |
| transformContractCall(CIVLFunction, Scope, FunctionCallNode, CIVLSource) |   | 84% |   | 67% | 2 | 4 | 0 | 14 | 0 | 1 |
| mergeContracts(List, CIVLTypeFactory, ModelFactory, CIVLFunction) |   | 85% |   | 90% | 1 | 6 | 1 | 15 | 0 | 1 |
| translateContractNode(ContractNode) |   | 74% |   | 67% | 1 | 3 | 1 | 11 | 0 | 1 |
| translateResultNode(ResultNode, Scope) |   | 92% |   | 50% | 1 | 2 | 1 | 10 | 0 | 1 |
| static {...} |   | 75% |   | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| translateContractExpressionNode(ExpressionNode, Scope, CIVLSource, ContractClauseExpression.ContractKind) |  | 100% |  | 100% | 0 | 3 | 0 | 9 | 0 | 1 |
| ContractTranslator(ModelBuilderWorker, ModelFactory, CIVLTypeFactory, CIVLFunction) |  | 100% | | n/a | 0 | 1 | 0 | 6 | 0 | 1 |