control_statements_finished