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