This allows us to mimic the `invariant` api, which means you can just assert that something holds true after execution proceeds to the next line without throwing