               (ts-stub [ts] stb)
               (subsuming-sps [ts] (keys subsuming-sp-set))
               (add-subsuming-sp! [ts subsuming-sp]
-                (util/assert-is (= (norm-name (stub-name stb)) (norm-name (sp-name subsuming-sp))))                 
+                (util/assert-is (= (stub-name stb) (sp-name subsuming-sp)))                 
                 (when-not (.containsKey subsuming-sp-set subsuming-sp)
                   (.put subsuming-sp-set subsuming-sp true)
                   (summaries/connect-subsumed! (sp-ts subsuming-sp) ts)))


;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; Used by stubs ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;


;; Note: putting ts stuff here rather than watching above ensures things happen
;; in desired order.
;; TODO: set stub to -inf here, simplify other code? 

;; TODO TODO: fix names.
;; TODO: turn kill back on

;; --> TODO: merge stubs and subproblems!

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

