Solidity contract compiler

Precondition should be an exception