let debug_display_stmt_pre_bycase pre prefixe =
  let r=ref "{" in
    let result = ref "" in
  Array.iteri
    (fun i assocs ->
       if not (is_empty_behavior assocs) then
     begin
       result:= concat [!result;!r ;"st";(string_of_int i);"->";(assocs_to_string assocs prefixe)] ;
       r:=","
     end
    )
    pre;
  if !r="{" then
    "{}"
  else
    concat [!result ;"}"]