(defn uniquify-binding
[b]
(let [i (binding [*locals-frame* (atom @*locals-frame*)] ;; inits need to be uniquified before the local
(uniquify-locals-around (:init b))) ;; to avoid potential shadowings
name (:name b)]
(uniquify name)
(let [name (normalize name)]
(assoc b
:name name
:init i))))