                      (log/debug (str "comp precheck failed  for pair: " pair))
                      (log/debug (str "comp precheck failed: parent wanted:" (strip-refs parent-value) ";"
                                      "child has: " (strip-refs child-value)))
-                     (log/debug (str " child is: " (strip-refs child)))
+                     (log/trace (str " child is: " (strip-refs child)))
                      :fail)
                    (do
-                     (log/debug (str "comp precheck success for pair: " pair))
+                     (log/trace (str "comp precheck success for pair: " pair))
                      :top))))
              (lazy-seq comp-precheck-pairs))))
 

  (when (and (map? parent)
             (map? head))
    (do
      (log/debug (str "overh: parent: " (strip-refs (dissoc parent :serialized))))
      (log/debug (str "overh: head: " (strip-refs (dissoc head :serialized))))))

  (cond


         label (if (get-in parent [:rule]) (get-in parent [:rule]) (:comment parent))]
     (if (not is-fail?)
       (do
         (log/debug (str "overh successful result: " (get-in parent [:rule])))
         (log/trace (str "overh successful result: " (strip-refs (dissoc result :serialized))))
         (list result))))))

;; Haskell-looking signature:
