globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	A	bogus<>
	bool: 1,2,5,6,3,4
[global bool entries]
1	(top)	-	1	A.x	
2	(top)	-	2	A.y	
3	(top)	-	3	A.e[0]	
4	(top)	-	4	A.e[1]	
5	(top)	-	5	A.w	
6	process	1	4	A.en	
