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