globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	X	funit<>
	process: 2,3,4,5,6,7
	bool: 1
2	process	1	1	X.g	globals<>
3	process	1	2	X.aa	e1of2<>
	bool: 1
4	process	1	3	X.pa0	e1of2<>
	bool: 1
5	process	1	4	X.a0copy	pupcopy<>
	process: 3,4
	bool: 1
6	process	1	5	X.lt	pand<>
	process: 2,3
	bool: 1
7	process	1	6	X.pnd	pand<>
	process: 2,4
	bool: 1
[global bool entries]
1	process	1	1	X.aa.d	
