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