let init_specification () =
List.iter
(fun name ->
let pre,_ = Data_for_aorai.get_func_pre name in
let post_st,post_tr = mk_empty_pre_or_post_bycase () in
Array.iteri (fun index _ -> if pre.(index) then post_st.(index)<- fst (Data_for_aorai.get_func_post name) ) post_st;
Array.iteri (fun index _ -> if pre.(index) then post_tr.(index)<- snd (Data_for_aorai.get_func_post name) ) post_tr;
Data_for_aorai.set_func_post_bycase name (post_st,post_tr)
)
(Data_for_aorai.getFunctions_from_c ())