let compose_assocs_post assocs_st (post_st,post_tr) =
  let st,tr = mk_empty_pre_or_post () in
  let st,tr = ref st, ref tr in
  Array.iteri
    (fun index b ->
      if b then begin
        st:=bool_array_or post_st.(index) !st;
        tr:=bool_array_or post_tr.(index) !tr
      end)
    assocs_st;
  (!st,!tr)