globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	xyz	weakness<>
	bool: 1,2,3,4
[global bool entries]
1	(top)	-	1	xyz.a	
2	(top)	-	2	xyz.b	
3	process	1	3	xyz.c	
4	process	1	4	xyz.d	
