 asynchronously after the fact)."
   (-if-let* ((hole-info (get-text-property (point) 'fstar--match-var-type)))
       (format "This hole has type `%s'" (car hole-info))
-    (when (and (fstar-subp--has-feature 'lookup) (fstar-subp-available-p)
+    (when (and (fstar--has-feature 'lookup) (fstar-subp-available-p)
                (not (fstar-subp--in-issue-p (point))))
       (let* ((query (fstar-subp--positional-lookup-query (point)))
              (retv (fstar-subp--query-and-wait query 0.01)))

  (when (fstar-subp--busy-p)
    (funcall error-fn "F* seems busy; please wait until processing is complete"))
  (when feature
    (fstar-subp--has-feature feature error-fn)))

(defun fstar-subp--serialize-query (query id)
  "Serialize QUERY with ID to JSON."

  (fstar-subp-remove-tracking-overlays)
  (fstar-subp--clear-continuations)
  (setq fstar--vernum nil
        fstar--features nil
        fstar-subp--process nil
        fstar-subp--next-query-id 0))

(defun fstar-subp-kill ()
