Formal verification of WETH9.sol with Z3 - View it on GitHub