(match (* t *)
  leaf
  (ite
    (w{mono l2xy} (let:tree:cf app (match:tuple (w{mono} node))))
    (ite
      (match (* cl *)
        (let:tree:cf leaf (w node))
        (ite
          (w{mono} (let:tree:cf app (match:tuple (let:tree:cf node (w{mono} node)))))
          (ite
            (match (* bl *)
              (let:tree:cf leaf (let:tree:cf node (w{mono} node)))
              (w{l2xy mono}
                (let:tree:cf
                  (tick app)
                  (match
                    (w leaf)
                    (ite
                      (tick (let:tree:cf node (let:tree:cf node (w{mono} node))))
                      (let:tree:cf node (let:tree:cf node (w node)))
                    )
                  )
                )
              )
            )
            (match
              (let:tree:cf leaf (let:tree:cf node (w{mono} node)))
              (w{mono}
                (let:tree:cf
                  (tick app)
                  (match
                    (w{mono} leaf)
                    (ite
                      (w{l2xy} (tick (let:tree:cf node (let:tree:cf node (w{mono} node)))))
                      (let:tree:cf node (let:tree:cf node (w node)))
                    )
                  )
                )
              )
            )
          )
        )
      )
      (match
        (let:tree:cf leaf (w{mono} node))
        (ite
          (w{mono} (let:tree:cf app (match:tuple (let:tree:cf node (w{mono} node)))))
          (ite
            (match
              (let:tree:cf leaf (let:tree:cf node (w{mono} node)))
              (w{mono}
                (let:tree:cf
                  (tick app)
                  (match
                    (w{mono} leaf)
                    (ite
                      (w{l2xy} (tick (let:tree:cf node (let:tree:cf node (w{mono} node)))))
                      (let:tree:cf node (let:tree:cf node (w{mono} node)))
                    )
                  )
                )
              )
            )
            (match
              (let:tree:cf (w node) (let:tree:cf leaf (w{mono} node)))
              (w{l2xy mono}
                (let:tree:cf
                  (tick app)
                  (match
                    (w leaf)
                    (ite
                      (tick (let:tree:cf node (let:tree:cf node (w{mono} node))))
                      (let:tree:cf node (let:tree:cf node (w node)))
                    )
                  )
                )
              )
            )
          )
        )
      )
    )
  )
)