globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	i1	inv<>
	bool: 1,2
2	(top)	-	2	i2	inv<>
	bool: 3,4
3	(top)	-	3	i3	inv<>
	bool: 5,6
[global bool entries]
1	(top)	-	1	x	
2	(top)	-	2	y	
3	(top)	-	3	p	
4	(top)	-	4	i2.b	
5	(top)	-	5	i3.a	
6	(top)	-	6	q	
