let get_preds_post_bc_wrt_params (f:string) =
  let post = Data_for_aorai.get_func_post_bycase f in
  let (_,post_tr) = pre_flattening post in
  get_preds_wrt_params (post_tr) f Promelaast.Return