diGraph G {
v24 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemZero gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: zero (Const _) = Const _"]
v23 [label="Assisted [PassingProperty \"prop_idemZero\"]: zero (Const 1) = Const 1"]
v22 [label="Assisted [PassingProperty \"prop_idemZero\"]: zero (Const 1) = Const 1"]
v21 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemZero gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: zero (Mul (Const _) (Const 1)) = Mul (Const _) (Const 1)"]
v20 [label="Assisted [PassingProperty \"prop_idemZero\"]: zero (Const 2) = Const 2"]
v19 [label="Assisted [PassingProperty \"prop_idemZero\"]: zero (Mul (Const 1) (Const 2)) = Mul (Const 1) (Const 2)"]
v18 [label="Assisted [PassingProperty \"prop_idemZero\"]: zero (Const 2) = Const 2"]
v17 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemZero gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: zero (Mul _ (Const 2)) = Mul _ (Const 2)"]
v16 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemOne gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: one (Const _) = Const _"]
v15 [label="Assisted [PassingProperty \"prop_idemOne\"]: one (Const 1) = Const 1"]
v14 [label="Assisted [PassingProperty \"prop_idemOne\"]: one (Const 1) = Const 1"]
v13 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemOne gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: one (Mul (Const _) (Const 1)) = Const _"]
v12 [label="Assisted [PassingProperty \"prop_idemOne\"]: one (Const 2) = Const 2"]
v11 [label="Assisted [InconclusiveProperty \"Simpler tree suggested with complexity 9(current tree has complexity of 120)\"]: one (Mul (Const 1) (Const 2)) = Mul (Const _) (Const 1)"]
v10 [label="Assisted [PassingProperty \"prop_idemOne\"]: one (Const 2) = Const 2"]
v9 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemOne gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: one (Mul _ (Const 2)) = Mul _ _"]
v8 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemSimplify gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: simplify (Const _) = Const _"]
v7 [label="Assisted [PassingProperty \"prop_idemSimplify\"]: simplify (Const 1) = Const 1"]
v6 [label="Assisted [PassingProperty \"prop_idemSimplify\"]: simplify (Const 1) = Const 1"]
v5 [label="Assisted [PassingProperty \"prop_idemSimplify\"]: simplify (Const 2) = Const 2"]
v4 [label="Assisted [InconclusiveProperty \"We found values for the unevaluated expressions in the current statement that falsify\\na property, however the resulting tree is not simpler.\"]: simplify (Mul (Const 1) (Const 2)) = Mul (Const _) (Const 1)"]
v3 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemSimplify gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: simplify (Mul (Const _) (Const 1)) = Const _"]
v2 [label="Assisted [PassingProperty \"prop_idemSimplify\"]: simplify (Const 2) = Const 2"]
v1 [label="Assisted [InconclusiveProperty \"\\n---\\n\\nApplying property prop_idemSimplify gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: simplify (Mul _ (Const 2)) = Mul _ _"]
v0 [label=root]
v0 -> v1 [label=""]
v1 -> v9 [label=""]
v1 -> v2 [label=""]
v2 -> v10 [label=""]
v2 -> v18 [label=""]
v1 -> v17 [label=""]
v0 -> v3 [label=""]
v4 -> v5 [label=""]
v5 -> v12 [label=""]
v5 -> v20 [label=""]
v3 -> v13 [label=""]
v3 -> v6 [label=""]
v6 -> v15 [label=""]
v6 -> v23 [label=""]
v4 -> v19 [label=""]
v4 -> v7 [label=""]
v7 -> v14 [label=""]
v7 -> v22 [label=""]
v3 -> v21 [label=""]
v3 -> v8 [label=""]
v0 -> v4 [label=""]
v4 -> v11 [label=""]
v8 -> v16 [label=""]
v8 -> v24 [label=""]
}