   (assert (not (= (first (stub-name inner-stub)) :SA)))  
   (let [in-set (input-set inner-stub)
         ret (traits/reify-traits [summaries/or-summarizable (simple-stub [:OS (stub-name inner-stub) in-set] in-set)])]
-    (connect-and-watch! ret inner-stub #(set-stub-output! ret (make-output-collecting-subproblem ret %)))
+    (connect-and-watch-stub! ret inner-stub #(set-stub-output! ret (make-output-collecting-subproblem ret %)))
     ret))
 
 

(defn- get-root-subproblem [inp-set fs]
  (let [root-stub (make-atomic-stub nil nil inp-set fs)]
    (dotimes [_ 2] (evaluate! root-stub))
    (util/safe-singleton (get-outputs root-stub))))

(defn implicit-fah-a*-eval2 [henv]
  (binding [summaries/*cache-method* :eager

                           (input-set (stub left-sp)))])]
    (connect-subsuming! ret subsuming-sp)
    (summaries/connect! ret (tree-summarizer left-sp) false)
    (connect-and-watch-stub! ret right-stub 
      #(set-stub-output! ret (make-pair-subproblem subsuming-sp ret left-sp %)))
    ret))

