ZPlus rule was wrong for negative inputs: each output partition used its
own respective sum for the denominator (i.e. like alpha-beta would
handle positive and negative outputs)
for the correct ZPlus the denominator of each (2) output partitions is the sum
of all positive outputs