Solidity_postprocess
val checkProgram : Solidity_ast.program -> unit
Checks that a typed solidity AST verifies the Solidity standard properties. The list of exceptions this function may raise is defined in Solidity_exceptions