If the reduction AVL is 0, operand 0 of the reduction will be
returned rather than the scalar input.
To make the fold legal, we would need to fold the new scalar value
with whatever operand 0 is which may require a new scalar operation
before the reduction.
Block the combine if we can't prove AVL is non-zero.