let compose_assocs_pre assocs_st (_,pre_tr) (post_st,_) =
  let st,tr = mk_empty_pre_or_post () in
  let st,tr = ref st, ref tr in
  let (_,trans_l) = Data_for_aorai.getAutomata() in
  Array.iteri
    (fun index b ->
       if b then begin
         Array.iteri
           (fun value val_assocs -> if val_assocs.(index) then !st.(value)<-true)
           post_st;
       end
    )
    assocs_st;


  List.iter
    (fun t -> if pre_tr.(t.numt) && (!st).(t.stop.nums) then !tr.(t.numt)<-true)
    trans_l;


  (!st,!tr)