globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	poo	ick<>
	process: 2,3,4,5
	bool: 1,2
2	(top)	-	2	poo.p	bar<>
	process: 3,7
	bool: 1,6
3	(top)	-	3	poo.p.x	foo<>
	bool: 1,8
4	process	1	3	poo.q	bar<>
	process: 5,6
	bool: 2,3
5	process	1	4	poo.q.x	foo<>
	bool: 2,5
6	process	4	2	poo.q.y	foo<>
	bool: 3,4
7	process	2	2	poo.p.y	foo<>
	bool: 6,7
[global bool entries]
1	(top)	-	1	poo.p.x.a	
2	process	1	2	poo.q.x.a	
3	process	4	2	poo.q.y.a	
4	process	6	2	poo.q.y.b	
5	process	5	2	poo.q.x.b	
6	process	2	2	poo.p.y.a	
7	process	7	2	poo.p.y.b	
8	process	3	2	poo.p.x.b	
