let merge_actions kf ki ki1 ki2 post_st1 post_st2 =
let (state,_ as auto) = Data_for_aorai.getAutomata () in
let merge_one_path pre_state post_state =
let trans = Path_analysis.get_transitions_of_state pre_state auto in
if List.exists
(fun x -> post_st1.(x.stop.nums).(post_state.nums)) trans
then begin
let action =
Data_for_aorai.get_action_bindings kf ki1 pre_state post_state
in
Data_for_aorai.merge_action_bindings kf ki pre_state post_state action
end;
if List.exists
(fun x -> post_st2.(x.stop.nums).(post_state.nums)) trans
then begin
let action =
Data_for_aorai.get_action_bindings kf ki2 pre_state post_state
in
Data_for_aorai.merge_action_bindings kf ki pre_state post_state action
end;
in
ignore (Extlib.product merge_one_path state state)