This will fail to verify since the verification does not assume the lessThanBitWidth property, which is needed to prevent shifting by too large of a value.