ZeroCheckExpr represents a check for a zero value. For instance, when a
division operation is performed. a ZeroCheckExpr is inserted to ensure that
the divisor is not zero. It is used when division is performed (idiv,
ldiv) a remainder is taken (irem, lrem), or a field
is accessed (getfield, putfield