     (recur (inc a))
     a))
 
-
-#_ (inner-tracer {:qual-sym 'com.billpiel.sayid.inner-trace3/f1
+(defn f2
+  [a]
+  (inc a)
+  (loop [b a]
+    (if (< b 2)
+      (recur (inc b))
+      b)))
+
+#_ (inner-tracer {:qual-sym 'com.billpiel.sayid.inner-trace3/f2
                   :meta' {:ns 'com.billpiel.sayid.inner-trace3
                           :name 'com.billpiel.sayid.inner-trace3/f1}
                  :ns' 'com.billpiel.sayid.inner-trace3})

      (let [head (first form)]
        (cond
          false "TODO"
          (= 'recur head) (apply xpand-recur args)
          (= 'if head) (apply xpand-if args)
          :else (apply xpand-fn head args)))

      (update-tree! tree-atom))
  v)

(defn xpand-if-form
  [[_ test then else] path-sym]
  `(tr-if-ret ~path-sym
