 (defun fstar-subp-kill ()
   "Kill F* subprocess and clean up current buffer."
   (interactive)
-  (when (fstar-subp-live-p fstar-subp--process)
+  (when (fstar-subp-live-p)
     (kill-process fstar-subp--process)
     (accept-process-output fstar-subp--process 0.25 nil t))
   (fstar-subp-killed))


(defun fstar-subp-pop-overlay (overlay)
  "Remove overlay OVERLAY and issue the corresponding #pop command."
  (fstar-assert (not fstar-subp--continuation))
  (fstar-assert (fstar-subp-live-p))
  (if (fstar-sub-overlay-contains-build-config overlay)
      (fstar-subp-kill)
    (fstar-subp--query fstar-subp--cancel nil))

  (setq proc (or proc fstar-subp--process))
  (and proc (process-live-p proc)))

(defun fstar-subp-available-p ()
  "Return t if current `fstar-subp--process' is live and idle."
  (and (fstar-subp-live-p fstar-subp--process)
       (not fstar-subp--continuation)))

(defun fstar-subp--query (query continuation)
  "Send QUERY to F* subprocess; handle results with CONTINUATION."
