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