| ConstantsAssumption |  | 0% | | 0% | 50 | 50 | 85 | 85 | 15 | 15 | 1 | 1 |
| AssumptionDeducer | | 0% | | 0% | 37 | 37 | 65 | 65 | 10 | 10 | 1 | 1 |
| ExpressionEvaluator | | 0% | | 0% | 39 | 39 | 38 | 38 | 3 | 3 | 1 | 1 |
| ConstantsFlowFunction.new CfgVisitor() {...} | | 0% | | 0% | 17 | 17 | 37 | 37 | 6 | 6 | 1 | 1 |
| ConstantConditionTransformation | | 0% | | 0% | 11 | 11 | 23 | 23 | 4 | 4 | 1 | 1 |
| ExpressionEvaluator.EvaluatorVisitor | | 0% | | 0% | 10 | 10 | 25 | 25 | 7 | 7 | 1 | 1 |
| ConstantsTransformationFunction.MyTransformationVisitor | | 0% | | 0% | 8 | 8 | 23 | 23 | 3 | 3 | 1 | 1 |
| FoldConstantTransformer | | 0% | | 0% | 5 | 5 | 19 | 19 | 3 | 3 | 1 | 1 |
| ConstantsAssumption.Updater | | 0% | | 0% | 10 | 10 | 18 | 18 | 6 | 6 | 1 | 1 |
| ConstantConditionTransformation.new CfgTransformer() {...} | | 0% | | 0% | 4 | 4 | 11 | 11 | 2 | 2 | 1 | 1 |
| FoldConstantsTransformation | | 0% | | n/a | 4 | 4 | 9 | 9 | 4 | 4 | 1 | 1 |
| ConstantsFlowFunction | | 0% | | n/a | 2 | 2 | 8 | 8 | 2 | 2 | 1 | 1 |
| ConstantsAssumption.LiteralWrapper | | 0% | | 0% | 6 | 6 | 12 | 12 | 4 | 4 | 1 | 1 |
| ConstantsIntegratedFlowFunction | | 0% | | 0% | 4 | 4 | 9 | 9 | 3 | 3 | 1 | 1 |
| ConstantsTransformationFunction | | 0% | | 0% | 3 | 3 | 8 | 8 | 2 | 2 | 1 | 1 |
| ConstantConditionTransformation.1.new JModVisitor() {...} | | 0% | | 0% | 3 | 3 | 5 | 5 | 2 | 2 | 1 | 1 |
| FoldConstantTransformer.new JModVisitor() {...} | | 0% | | 0% | 3 | 3 | 6 | 6 | 2 | 2 | 1 | 1 |
| ConstantsAnalysis | | 0% | | n/a | 4 | 4 | 5 | 5 | 4 | 4 | 1 | 1 |