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 ;"}"]