let get_preds_pre_wrt_params (f:string) =
  let (_,pre_tr) = Data_for_aorai.get_func_pre  f in
  get_preds_wrt_params (pre_tr) f Promelaast.Call