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 ())