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_ltl.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)