(match (* t *)
  ?
  (let:tree:cf
    (tick
      app
    )
    var
  )
)