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