(Program
  (Try
    (
      (Identifier)
      (Finally
        (
        {+(Identifier)+})))))