globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	top1	fa<>
	bool: 1
2	(top)	-	2	t	cpa<><true>
	process: 3
	bool: 2
3	process	2	1	t.fa0	fa<>
	bool: 2
[global bool entries]
1	(top)	-	1	top1.x	
2	(top)	-	2	t.x	
