edge: { sourcename: "e20" targetname: "n19"label: "value 0"}
node: {title: "n19" label: "SymC &set_a 19" info1: "SymC &set_a 19
mode: P
- visited: 9
+ visited: 7
arity: 0
pred nodes:
-1: Block 3
edge: { sourcename: "e23" targetname: "n22"label: "value 0"}
node: {title: "n22" label: "SymC &c 22" info1: "SymC &c 22
mode: P
- visited: 9
+ visited: 7
arity: 0
pred nodes:
-1: Block 3