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