visited: 1
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
kind: addr_ent
entity: entity PRIMA.set_a (20)
visited: 1
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
kind: addr_ent
entity: entity PRIMA.c (23)
visited: 1
arity: 0
pred nodes:
- -1: Block 1
+ -1: Block 3
Private Attributes:
kind: addr_ent
entity: entity GlobalType.OO_PROGRAM_EXAMPLE_main (26)