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