                         left-vals (.-vals left-node)]
                     (if (> (alength left-keys) min-keys)
                       (do
-                        (prn "rotate-left")
                         (.unshift keys (.pop left-keys))
                         (.unshift vals (.pop left-vals))
                         (set! lower (aget keys 0))

    (dc/quick-check 1000 total-prop)
    (dc/quick-check 100 (denotational-prop gen-assoc))
    (dc/quick-check 100 (denotational-prop gen-action)))
 )


                         right-vals (.-vals right-node)]
                     (if (> (alength right-keys) min-keys)
                       (do
                         (.push keys (.shift right-keys))
                         (.push vals (.shift right-vals))
                         (set! upper (aget keys (- (alength keys) 1)))
