(let:tree:cf
  leaf
  (w (let:tree:cf
    (w leaf)
    (w node)
  ))
)