Sun, 13 May 2012 17:57:15 +0200 Manuele Conti Add verify_is_lvalue to control_variable in for_statement.