     ret))
 
 
-(defmulti get-stub (fn [nm inp subsuming-sp] (first nm)))
+(defmulti get-stub (fn get-stub-dispatch [nm inp] (first nm)))
 
 ;; TODO: canonicalize in make-stub, for everyone ? 
 ;; TODO: do lookups via normalized sequences? 

            #(set-stub-output! ret %))))
      ret)))

(defmethod get-stub :Pair [[_ left-name right-name :as n] inp subsuming-sp]
  (assert (nil? subsuming-sp))
  (make-pair-stub1 n (get-stub left-name inp nil) #(get-stub right-name % nil)))


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



(defn- get-root-summarizer [inp-set fs]
  (tree-summarizer (make-atomic-stub (atomic-name fs) inp-set )))

(def *lazy-cache* false) 
(def *no-subsumption* false)
