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)