(match
  leaf
  (ite
    (w node)
    (ite
      (match
        (let:tree:cf leaf (w node))
        (ite
          (let:tree:cf node (w node))
          (ite
            (match
              (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 (w{mono} (let:tree:cf node (w{mono} node))))
              (w{mono} (let:tree:cf
                (tick app)
                (match
                  (w{mono} leaf)
                  (w{l2xy} (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 (w node))
        (ite
          (let:tree:cf node (w 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)
                    (w{l2xy} (ite
                      (tick (let:tree:cf node (let:tree:cf node (w{mono} node))))
                      (let:tree:cf node (let:tree:cf node (w{mono} node)))
                    ))
                  )
                )
              )
            )
            (match
              (w (let:tree:cf node (let:tree:cf leaf (w{mono} node))))
              (w{l2xy mono}
                (let:tree:cf
                  (tick app)
                  (match
                    (w{mono} leaf)
                    (ite
                      (tick (let:tree:cf node (let:tree:cf node (w{mono} node))))
                      (let:tree:cf node (let:tree:cf node (w node)))
                    )
                  )
                )
              )
            )
          )
        )
      )
    )
  )
)