let post_pseudo_flattening post =
let new_st,new_tr = mk_empty_pre_or_post_bycase () in
Array.iteri
(fun index _ ->
let flat_st,flat_tr=pre_flattening post in
new_st.(index) <- flat_st;
new_tr.(index) <- flat_tr
)
new_st;
(new_st,new_tr)