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