(match
  (w leaf)
  (ite
    (w{mono} node)
    (ite
      (match
        (let:tree:cf leaf (w{mono} node))
        (ite
          (let:tree:cf node (w{mono} node))
          (ite
            (match
              (w{mono} (let:tree:cf leaf (let:tree:cf node (w{mono} node))))
              (w{l2xy mono}
                (let:tree:cf
                  (tick (shift app))
                  (match
                    (w{mono} leaf)
                    (w{l2xy}
                      (ite
                        (w{mono} (tick (let:tree:cf node (let:tree:cf node node))))
                        (w{mono}       (let:tree:cf node (let:tree:cf node node)))
                      )
                    )
                  )
                )
              )
            )
            (match
              (w{mono} (let:tree:cf leaf (let:tree:cf node (w{mono} node))))
              (w{l2xy mono}
                (let:tree:cf
                  (tick (shift app))
                  (match
                    (w{mono} leaf)
                    (w{l2xy}
                      (ite
                        (w{mono} (tick (let:tree:cf node (let:tree:cf node node))))
                        (w{mono}       (let:tree:cf node (let:tree:cf node node)))
                      )
                    )
                  )
                )
              )
            )
          )
        )
      )
      (match
        (let:tree:cf leaf (w{mono} node))
        (ite
          (let:tree:cf node (w{mono} node))
          (ite
            (match
              (w{mono} (let:tree:cf leaf (let:tree:cf node (w{mono} node))))
              (w{l2xy mono}
                (let:tree:cf
                  (tick (shift app))
                  (match
                    (w{mono} leaf)
                    (w{l2xy}
                      (ite
                        (w{mono} (tick (let:tree:cf node (let:tree:cf node node))))
                        (w{mono}       (let:tree:cf node (let:tree:cf node node)))
                      )
                    )
                  )
                )
              )
            )
            (match
              (w{mono} (let:tree:cf node (let:tree:cf leaf (w{mono} node))))
              (w{l2xy mono}
                (let:tree:cf
                  (tick (shift app))
                  (match (w{mono} leaf)
                    (w{l2xy}
                      (ite
                        (w{mono} (tick (let:tree:cf node (let:tree:cf node node))))
                        (w{mono}       (let:tree:cf node (let:tree:cf node node)))
                      )
                    )
                  )
                )
              )
            )
          )
        )
      )
    )
  )
)
