Ah yes, the "Fold *&B to B" case? Sure, I'd be happy with a check
added there that we don't return the wrong type.
Yup. But then if it falls through, verify_stmt will fail since the
operand isn't valid. So, as I said, there are still some holes here.