Exploring Automatic Model-Checking of the Ethereum specification (tech. report) - Igor Konnov