Nodes: 
node[1]: "A.a" fanin-processes:  fanout: 1, 2, 
node[2]: "z" fanin-processes: 1, 2,  fanout: 
node[3]: "B.a" fanin-processes:  fanout: 3, 4, 
Unique processes: {
type[0]: {
Local nodes: 
node[0]: up: - < - , dn: - < -  fanout: 
node[1]: up: - < - , dn: - < -  fanout: 
node[2]: up: - < - , dn: - < -  fanout: 
node[3]: up: - < - , dn: - < -  fanout: 
Local expressions: 
Local expression -> rule map:

Local rules:
}
type[1]: {
Local nodes: 
node[0]: up: - < - , dn: - < -  fanout: 0 1 
node[1]: up: 1 < - , dn: 0 < -  fanout: 
Local expressions: 
expr[0]: type: or<1> (pull-dn: 1)
	children: #0, offset: 0
expr[1]: type: nor<1> (pull-up: 1)
	children: #0, offset: 0
Local expression -> rule map:
(0,0) (1,1) 
Local rules:
[0]	after 10
[1]	after 10
}
}
map: global-expr-id -> process-id
(1,1) (3,2) (5,3) 

