digraph AST {
  node12 [label="IF"];
  node12 -> node9 [label="cond"];
  node9 [label="EQOP(==)"];
  node9 -> node7 [label="arg1"];
  node7 [label="ASSIGN"];
  node7 -> node6 [label="var"];
  node6 [label="ID(x)"];
  node7 -> node5 [label="expr"];
  node5 [label="CALL"];
  node5 -> node4 [label="arg0"];
  node4 [label="ID(x)"];
  node9 -> node8 [label="arg2"];
  node8 [label="CONST(1)"];
  node12 -> node10 [label="exp1"];
  node10 [label="CONST(1)"];
  node12 -> node11 [label="exp2"];
  node11 [label="CONST(0)"];
}