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