            (sg/best-leaf-operator
             (:choice-fn config)
             (case (:search-strategy config) :ao true :al-global false)
-            (fn [s] (expand! s) (sg/summaries-decreased! [s])))
+            (fn [s]
+              (expand! s)
+              (doseq [[p c] @status-increases]
+                (sg/status-increased! p c))
+              (reset! status-increases nil)
+              (sg/summaries-decreased! [s])))
            extract-action))))
 
 

(ns angelic.search.implicit.dash-astar-simple
  (:require [angelic.util :as util]
	    [angelic.util.channel :as channel]
            [angelic.search.summary :as summary]            

(set! *warn-on-reflection* true)

;; TODO: before publish:
;;FIX refine-input for oc subproblem to solution in thesis
;;FIX no publications from solved.
;; FIX fail on hard  2 0
;; TODO: tricky part is:
;;  status-increased can call summary before we're done.
;;  This can give it stale summary.
;;  We could just skip it, but then decrease may be screwed.

;; Take dash_astar_opt_simple and add back complexities from
;; dash_astar.clj.
