let close _env kf p = let formals = Kernel_function.get_formals kf in let p = List.fold_left pred_forall_cv p formals in p