/doc/report/graphs/if.dot

 1digraph if {
 2X [label="x"]
 3Y [label="y"]
 4Z [label="z"]
 5
 6E1 [label="x+y"]
 7E2 [label="a:z=0"]
 8E3 [label="b:((x+y) / z)"]
 9R1 [label="if a then 0 else b"]
10
11X->E1
12Y->E1
13Z->E2
14E1->E3
15Z->E3
16E2->R1
17E3->R1
18}