use zero

src/halmos/sevm.py

@@ -2481,7 +2481,7 @@ def finalize(ex: Exec):
                     addr = alias_addr if alias_addr is not None else account_addr
                     account_code: Contract | None = ex.code.get(addr)
                     codehash = (
-                        con(0)
+                        ZERO
                         if account_code is None
                         else ex.sha3_data(account_code._code.unwrap())
                     )