Solidity compilation refinements