globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	poo	ick<>
	process: 2,3,4,5
	bool: 1
2	process	1	1	poo.p	bar<>
	process: 3
	bool: 1
3	process	1	2	poo.p.x	foo<>
	bool: 1
4	process	1	3	poo.q	bar<>
	process: 5
	bool: 1
5	process	1	4	poo.q.x	foo<>
	bool: 1
[global bool entries]
1	process	1	1	poo.p.x.a	
