fix for reduction operator

runs most of the blif tests, now.
(except blif02e.v)