visited: 5
arity: 0
kind addr_ent
+entity PRIMA.set_a (17)
+
"}
node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
mode: P,
visited: 5
arity: 0
kind addr_ent
+entity PRIMA.c (20)
+
"}
node: {title: "t18" label: "method c" info1: "state: layout_fixed,
mode: P,