digraph AST {
  node13 [label="LET"];
  node13 -> node3 [label="decl0"];
  node3 [label="DECL"];
  node3 -> node0 [label="body"];
  node0 [label="CONST(1)"];
  node13 -> node12 [label="body"];
  node12 [label="IF"];
  node12 -> node9 [label="cond"];
  node9 [label="EQOP(==)"];
  node9 -> node5 [label="arg1"];
  node5 [label="CALL"];
  node5 -> node4 [label="arg0"];
  node4 [label="CONST(1)"];
  node9 -> node8 [label="arg2"];
  node8 [label="CONST(1)"];
  node12 -> node10 [label="exp1"];
  node10 [label="CONST(1)"];
  node12 -> node11 [label="exp2"];
  node11 [label="CONST(0)"];
}