globID	super		localID	canonical	footprint-frame
[global process entries]
1	(top)	-	1	snk	bool_sink<>
	channel: 1
	bool: 2
[global channel entries]
1	(top)	-	1	B	chan(bool<>)
2	(top)	-	2	A	chan(bool<>)
[global bool entries]
1	(top)	-	1	a	
2	process	1	1	snk.b	
