let debug_display_stmt_pre pre prefixe =
  let r=ref "{" in
    let result = ref "" in
  Array.iteri
    (fun i s ->
       if s then
     begin
(*       Format.printf "%s%s%s" !r prefixe (string_of_int i);*)
             result := concat [!result;!r;prefixe;(string_of_int i)];
       r:=","
     end
    )
    pre;
  if !r="{" then
    "{}"
  else
        concat[!result;"}"]