assert and exception corrections in solidity-external files.