 ;;;;; Features
 ;; TODO: pessimistic
 
-;;;;; Summaries and solving
+;;;;; Summaries and solving (if only 30% of time, who cares!)
 ;; TODO: pseudo-solve
 ;; TODO: smarter summary updates (i.e., pass child)
 ;; TODO: halfway eager prop -- eager about cost, not contents.
 
 ;;;;; SP caching
-;; TODO: tail (i.e., pair) caching?
+;; TODO: tail (i.e., pair) caching? -- Only help for >2 len refs...
 ;; TODO: cache refine-inputs?
 ;; TODO: cache children of output-collector?
 

;; TODO: garbage collect dead stuff
;; TODO: improve top-down propagation of bounds
;; TODO: better subusmption.
;; TODO: add options to search alg.

;; TODO: why doesn't subsumption help (at all?)
;; Note: subsumption edges don't help AT ALL, under seemingly any settings


(def *no-identical-nonterminal-outputs* true)
(def *decompose-cache*       true) ;; nil for none, or bind to hashmap
(def *state-abstraction*     :eager ) ;; Or lazy or nil.


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;;;;;;;;;;;;;;;;;;;;;;;;;;       Utilities      ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
