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