Solidity-Safety to Model Checking