fanin o: 
Fanins of node `o':
(from P):
[after 10]	~P.en -> o+
[after 10]	P.en & x[0] & y[0] -> o-
[after 10]	P.en & x[1] & y[1] -> o-
fanout P.en: 
Fanouts of node `P.en':
(to P):
[after 10]	P.en & x[0] & y[0] -> o-
[after 10]	P.en & x[1] & y[1] -> o-
[after 10]	~P.en -> o+
