let mk_pre_or_post_bycase_from_pre_or_post (st,tr) =
let st_bc,tr_bc = mk_empty_pre_or_post_bycase () in
let (_,trans_l) = Data_for_aorai.getAutomata() in
Array.iteri
(fun index t -> if st.(index) then t.(index)<-true)
st_bc;
List.iter
(fun t -> if tr.(t.numt) then tr_bc.(t.stop.nums).(t.numt)<-true)
trans_l;
(st_bc,tr_bc)