   (let [ret (traits/reify-traits [simple-watched cache-trait summaries/simple-node]  
               summaries/Summarizable
               (summarize [s] 
-                 (summary/max ;; Mxa here prevents infinite loop from s in s
+                 (summary/max ;; Max here prevents infinite loop from s in s
                   (summary/+ (summaries/summary left-sp) (summaries/summary right-stub) s)
                   (summary/or-combine                   
                    (map summaries/summary (summaries/node-ordinary-children s))

    ret))

;; Children should be lazy, are not touched if subsuming criteria are met?
;; TODO: computaiton of summary fn here seems to be crux of the issue.xz
(defn make-nonterminal-subproblem [name subsuming-sp inp-set out-set summary-fn ri-fn
                                   use-sub-children? inner-children copy-children child-transform]
  (let [sub-children? (and subsuming-sp use-sub-children? (not (terminal? subsuming-sp)))

       (apply make-simple-atomic-subproblem nil)
       subproblem/pseudo-solve)))

