(match (* t *)
  leaf
  (match (* a *)
      (let:tree:cf
        leaf
          node
     )
     (let:tree:cf
        node
          node
     )
    )
  )