globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	A	bool_xor<3>
	channel: 4,1,2,3
	bool: 1,2,3
2	(top)	-	2	S0	bool_source<><1, {0}>
	channel: 1
3	(top)	-	3	S1	bool_source<><3, {0,0,1}>
	channel: 2
4	(top)	-	4	S2	bool_source<><4, {1,0,0,1}>
	channel: 3
5	(top)	-	5	Z	bool_sink<>
	channel: 4
	bool: 4
[global channel entries]
1	(top)	-	1	In[0]	chan(bool<>)
2	(top)	-	2	In[1]	chan(bool<>)
3	(top)	-	3	In[2]	chan(bool<>)
4	(top)	-	4	Out	chan(bool<>)
[global bool entries]
1	process	1	1	A.a[0]	
2	process	1	2	A.a[1]	
3	process	1	3	A.a[2]	
4	process	5	1	Z.b	
