(Program
  (Try
    (
      (Identifier)
      (Catch
        (
          (
          {+(Identifier)+}
          {-(Identifier)-}))
      { (Catch
        {-(
          {-(
            {-(Identifier)-}
            {-(Identifier)-})-}
          {-(
            {-(Identifier)-})-})-}
        {-(Identifier)-})
      ->(Identifier) })
    {-(Else
      {-(Empty)-}
      {-(Identifier)-})-}
    {-(Finally
      {-(Identifier)-})-}))
{-(Method
  {-(Empty)-}
  {-(Identifier)-}
  {-(
    {-(Catch
      {-(
        {-(
          {-(Identifier)-})-})-}
      {-(Catch
        {-(
          {-(
            {-(Identifier)-}
            {-(Identifier)-})-}
          {-(
            {-(Identifier)-})-})-}
        {-([])-})-})-}
    {-(Else
      {-(Empty)-}
      {-([])-})-}
    {-(Finally
      {-([])-})-})-})-}
{-(Try
  {-(Identifier)-}
  {-(Catch
    {-(Null)-}
    {-(Empty)-})-})-})