diGraph G {
v6 [label="Right: negin (N (V 'r')) = N (V 'r')"]
v5 [label="Assisted [PassingProperty \"prop_negin_complete\",InconclusiveProperty \"\\n---\\n\\nApplying property prop_negin_sound gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: negin (V _) = V _"]
v4 [label="Assisted [PassingProperty \"prop_negin_complete\",InconclusiveProperty \"\\n---\\n\\nApplying property prop_negin_sound gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: negin (N (N (V _))) = V _"]
v3 [label="Right: negin (N (V 'p')) = N (V 'p')"]
v2 [label="Assisted [InconclusiveProperty \"Simpler tree suggested with complexity 20(current tree has complexity of 30)\"]: negin (N (A (V 'p') (N (V _)))) = A (N (V 'p')) (V _)"]
v1 [label="Assisted [PassingProperty \"prop_negin_complete\",InconclusiveProperty \"\\n---\\n\\nApplying property prop_negin_sound gives inconclusive result:\\n\\n[Escaping Exception in Code : Request of value that was unevaluated in original program.]\\n\"]: negin (N (O (A (V 'p') (N (V _))) (V 'r'))) = O (A (N (V 'p')) (V _)) (N (V 'r'))"]
v0 [label=root]
v2 -> v4 [label=""]
v4 -> v5 [label=""]
v1 -> v2 [label=""]
v2 -> v3 [label=""]
v0 -> v1 [label=""]
v1 -> v6 [label=""]
}