method vstmt_aux stmt = begin match stmt.skind with | Loop _ -> mk_global_c_vars (Data_for_aorai.loopInit^"_"^(string_of_int stmt.sid)) (TInt(IInt,[])) | _ -> () end; Cil.DoChildren