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