                  (if (fs/eq-sets fs/=-state-sets ni inp-sets) sp
                      (let [log-ni (fs/map-sets fs/get-logger fs ni)
                            ri     (refine-input inner-sp log-ni)]                      
-                       (refine-channel (:child-channel sp)
-                         (make-state-abstracted-subproblem config fs ri ni)))))
+                       (make-state-abstracted-subproblem config fs ri ni))))
                (util/safe-get config :or-summarize))]      
       (connect-and-watch! ret inner-sp 
-       #(publish-child! ret (make-state-abstracted-subproblem config fs % inp-sets)))
+       #(publish-child! ret false (make-state-abstracted-subproblem config fs % inp-sets)))
       ret)))
-
 
 (defmethod get-subproblem :SA [config [_ inner-n :as n] inp-sets]
   (let [fs (atomic-name-fs inner-n)]

		      (sg/disconnect! ss (sp-ts right-sp))
		      (subscribe-children! left-sp (fn [c] (def *bad* [ss c]) (assert (not "S + C"))))
		      (connect-and-watch! ss right-sp
                        #(publish-child! (util/safe-singleton (sg/parent-nodes ss))
                                         (make-pair-subproblem config left-sp %))))
	  ss          (assoc (sg/make-simple-cached-node)
                        :summarize-fn


;; (do (use 'clojure.test) (use 'angelic.test.search.implicit.dash-astar-opt-simple) (run-tests 'angelic.test.search.implicit.dash-astar-opt-simple))

;; (dotimes [_ 1] (reset! sg/*summary-count* 0) (debug 0 (let [h (make-nav-switch-hierarchy (make-random-nav-switch-env 20 4 0) true)]  (time (println (run-counted #(identity (implicit-dash-a* h))) @sg/*summary-count*)))))

;; (dotimes [_ 1] (reset! sg/*summary-count* 0) (debug 0 (let [h (make-discrete-manipulation-hierarchy  (make-random-hard-discrete-manipulation-env 3 3))]   (time (println (run-counted #(identity (implicit-dash-a*-opt h))) @sg/*summary-count*)))))

;; (dotimes [_ 1] (reset! sg/*summary-count* 0) (debug 1 (let [h (make-discrete-manipulation-hierarchy  (make-discrete-manipulation-env-regions [4 4] [1 1] [ [ [2 2] [3 3] ] ] [ [:a [2 2] [ [3 3] [3 3 ] ] ] ] 1 2 2 1))]   (time (println (run-counted #(identity (implicit-dash-a* h))) @sg/*summary-count*)))))



