[Certora Audit] G-05. Use iszero instead of eq(*, 0)

[Certora Audit] G-05. Use iszero instead of eq(*, 0) #841