 
 
 (defn- get-root-summarizer [inp-set fs]
-  (tree-summarizer (make-atomic-stub (atomic-name fs) inp-set nil)))
+  (tree-summarizer (make-atomic-stub (atomic-name fs) inp-set )))
 
 (def *lazy-cache* false) 
 (def *no-subsumption* false)

;              (println "eval" nm inp-set reward status)
              (if (or (not ready?) (not (= status :live)))
                (do (reset! state :go)
                    (->> (make-atomic-subproblem s out-set reward status subsuming-sp)
                         (set-stub-output! s)))
                (do (reset! state op) (summaries/summary-changed! s))))
            (do (reset! state :go) (summaries/summary-changed! s))))))))


;; Note: we must always wrap in S-A stub to get effects out of logger.
(defmethod get-stub :Atomic [[_ fs :as n] inp-set subsuming-sp]
  (let [full-name [n (if *state-abstraction* (fs/extract-context fs inp-set) inp-set)]
        make-stub #(let [r (make-atomic-stub n % subsuming-sp)]
                     (if *collect-equal-outputs* (make-output-collecting-stub r) r))]
     (if-let [^HashMap dc *decompose-cache*]
       (if *state-abstraction*

       (if (= ni (input-set stub))
         stub
         (let [subsumed-stub (ri-fn s ni)]
           (add-subsuming-sp! (tree-summarizer subsumed-stub) s)
           subsumed-stub))))]
   summaries/Summarizable (summarize [s] (summary-fn s))))

