Simplify do_while_statement_to_firm() a bit, which can be done since new_immBlock...