globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	A	spec_test<2, 4>
	bool: 1,2,3
2	(top)	-	2	B	spec_test<3, 1>
	bool: 4,5,6
[global bool entries]
1	process	1	1	A.z[0]	
2	process	1	2	A.z[1]	
3	process	1	3	A.z[2]	
4	process	2	1	B.z[0]	
5	process	2	2	B.z[1]	
6	process	2	3	B.z[2]	
