def must be top level
read_statements creates Statements node
enable optimize level
Jump directly with condition