(Program
  (Try
    (ExpressionStatements
      (ExpressionStatements
        (Identifier)))
    (Catch
      (ExpressionStatements
        (ExpressionStatements
        { (Identifier)
        ->(Identifier) })))
    (Finally
      (ExpressionStatements
        (ExpressionStatements
        { (Identifier)
        ->(Identifier) })))))