w refers to process-inst-ref after_celem<10>
x refers to process-inst-ref after_celem<15>
y refers to process-inst-ref after_celem<35>
z refers to process-inst-ref after_celem<50>
Fanins of node `c':
(from w):
[after 30]	~a[0] & ~b[0] -> c+
[after 20]	a[0] & b[0] -> c-
(from x):
[after 45]	~a[1] & ~b[1] -> c+
[after 30]	a[1] & b[1] -> c-
(from y):
[after 105]	~a[2] & ~b[2] -> c+
[after 70]	a[2] & b[2] -> c-
(from z):
[after 150]	~a[3] & ~b[3] -> c+
[after 100]	a[3] & b[3] -> c-
	0	a[0] : 0
	0	a[1] : 0
	0	a[2] : 0
	0	a[3] : 0
	0	b[0] : 1
	0	b[1] : 1
	0	b[2] : 1
	0	b[3] : 1
	0	a[3] : 1
	100	c : 0	[by a[3]:=1]
time: 100
All subnodes of 'w':
a[0] : 0
b[0] : 1
c : 0
All subnodes of 'x':
c : 0
a[1] : 0
b[1] : 1
All subnodes of 'y':
c : 0
a[2] : 0
b[2] : 1
All subnodes of 'z':
c : 0
a[3] : 1
b[3] : 1
