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