Used to reproduce the bug found with sol-trace and solidity assertions. - View it on GitHub