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