Nodes: 
node[1]: "c.a" fanin-processes:  fanout: 2, 5, 
node[2]: "c.b" fanin-processes:  fanout: 3, 6, 
node[3]: "c._o" fanin-processes: 1,  fanout: 
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: 1 4 
node[1]: up: - < - , dn: - < -  fanout: 2 5 
node[2]: up: 3 < - , dn: 0 < -  fanout: 
Local expressions: 
expr[0]: type: and<2> (pull-dn: 2)
	children: 1, 2, offset: 0
expr[1]: type: or<1> (parent: 0)
	children: #0, offset: 0
expr[2]: type: or<1> (parent: 0)
	children: #1, offset: 1
expr[3]: type: and<2> (pull-up: 2)
	children: 4, 5, offset: 0
expr[4]: type: nor<1> (parent: 3)
	children: #0, offset: 0
expr[5]: type: nor<1> (parent: 3)
	children: #1, offset: 1
Local expression -> rule map:
(0,0) (3,1) 
Local rules:
[0]	after 10
[1]	after 10
}
}
map: global-expr-id -> process-id
(1,1) (7,2) 

