 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; Used by stubs ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
-(defn- with-subsuming-sp! [subsuming-sp stub]
-  (when subsuming-sp
-    (summaries/connect-subsumed! (sp-ts subsuming-sp) (tree-summarizer stub)))
-  stub)
 
 ;; TODO: set stub to -inf here, simplify other code? 
 ;; TODO: efficiency?

 (let [s (ts-stub s)]
  (print-method (format "#<TS$%8h %s>" (System/identityHashCode s) (stub-name s)) o)))

;; TODO: this basically looks just like old version now.
;; Main new idea was to be: auto-propagate subsumption arcs forward...
;; This is also what's needed for pess?

;; TODO: think about status of published output -- does it need updating ? 

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

            (connect-and-watch-stub! ret (make-output-collecting-stub (stub o))
              #(add-sp-child! ret %)))))) ;; No update needed
    ret))


;;;;;;;;;;;;;;;;;;;;;;;;;;;     State Abstraction     ;;;;;;;;;;;;;;;;;;;;;;;;;;
