globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	L	e1of2<>
	bool: 3,1,2
2	(top)	-	2	R	e1of2<>
	bool: 6,4,5
3	(top)	-	3	b	wchb_e1of2<>
	process: 1,2,4,5,6
	bool: 1,2,3,4,5,6,7,8,9
4	process	3	3	b.r0	inv<>
	bool: 7,4
5	process	3	4	b.r1	inv<>
	bool: 8,5
6	process	3	5	b.re	inv<>
	bool: 9,3
[global bool entries]
1	(top)	-	1	L.d[0]	
2	(top)	-	2	L.d[1]	
3	(top)	-	3	L.e	
4	(top)	-	4	R.d[0]	
5	(top)	-	5	R.d[1]	
6	(top)	-	6	R.e	
7	process	3	7	b._r[0]	
8	process	3	8	b._r[1]	
9	process	3	9	b.rv	
