-0: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfZero;
-1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfZero;
-0: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonZero;
-1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonZero;
--1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfPositive;
-0: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfPositive;
-1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfPositive;
--1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonPositive;
-0: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonPositive;
-1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonPositive;
--1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNegative;
-0: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNegative;
-1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNegative;
--1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonNegative;
-0: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonNegative;
-1: sendto fifo.in; fifo.out: wait, take, sendto choice.in.deMuxIfNonNegative;
-0: sendto fifo.out;