globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	t	foo<><true>
	process: 3
	bool: 1
2	(top)	-	2	r	foo<><false>
	process: 4
	bool: 2,3
3	process	1	1	t.fa0	fa<><true>
	bool: 1
4	process	2	1	r.fa0	fa<><false>
	bool: 2,3
[global bool entries]
1	(top)	-	1	t.x	
2	(top)	-	2	r.x	
3	(top)	-	3	r.y	
