| ContractClauseTransformer(BaseWorker, ASTFactory) |  | 0% | | n/a | 1 | 1 | 5 | 5 | 1 | 1 |
| preprocessClause(ExpressionNode, ExpressionNode, ExpressionNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| transformClause2Checking(ExpressionNode, ExpressionNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| transformClause2Assumption(ExpressionNode, ExpressionNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| transformAssignsClause(ExpressionNode, List) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| continuationWrapper(ExpressionNode, ExpressionNode, List) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| carveOutValidExpressions(ExpressionNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| createAssertion(ExpressionNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| replaceOldExpressionNodes4collective(ExpressionNode, ExpressionNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| replaceOldExpressionNodes4Local(ExpressionNode) | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |