globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	bar	foo<>
	bool: 1,2,3,4
[global bool entries]
1	(top)	-	1	bar.w	
2	(top)	-	2	bar.x	 @[ iscomb ]
3	(top)	-	3	bar.y	
4	(top)	-	4	bar.z	 @[ iscomb ]
