       (do (when (canonical? sp)
             (sg/connect-subsumed! (sp-ts sp) (sp-ts child-sp))
             (sg/connect! (sp-ts sp) (sp-ts child-sp))
-            (sg/status-increased! (sp-ts sp) (sp-ts child-sp)))
+            (swap! (-> sp :config :status-increases) conj
+                   [(sp-ts sp) (sp-ts child-sp)])
+            #_ (sg/status-increased! (sp-ts sp) (sp-ts child-sp)))
           (if (= :hierarchical (util/safe-get (:config sp) :collect?))
             (let [^HashMap com (:oc-map (:config sp))
                   k         [(:name sp) (System/identityHashCode sp) (:output-sets child-sp)]

                  :left-recursive?        false ; Factor sequences into pairs using left recursion
                  :propagate-subsumption? true  ; propagate subsumption from parents to matching children?
                  :weight                 nil}   ; Weight for bw-summary, nil for simple-summary.
        config    (-> (merge defaults opts)
                      (update-in [:decompose?] #(when % (HashMap.)))
                      (into (if-let [w (:weight opts)]

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


