ethers-rs/ethers-solc/test-data/model-checker-sample/Assert.sol

contract Assert {
	function f(uint x) public pure {
		assert(x > 0);
	}
}