 
 (defun fstar-subp-find-response (proc)
   "Find full response in PROC's buffer; handle it if found."
-  (if (fstar--has-feature 'interactive-json)
+  (if (fstar--has-feature 'json-subp)
       (fstar-subp-json--find-response proc)
     (fstar-subp-legacy--find-response proc)))
 

                  (and (string-match fstar-subp-legacy--info-response-body-regex body)
                       (mapcar #'fstar--string-trim (fstar--match-strings-no-properties
                                                '(1 2) body)))))
      (make-fstar-symbol-info
       :source-file file
       :name name
       :def-start (cons (string-to-number start-r) (string-to-number start-c))

    (user-error "Cannot find a full block to process")))

(defun fstar-subp-pop-overlay (overlay)
  "Remove overlay OVERLAY and issue the corresponding `pop' command."
  ;; F* might be busy, but not with overlays
  (fstar-assert (null (fstar-subp-tracking-overlays 'busy)))
  (delete-overlay overlay)
