(Program
  (Try
    (
      (Identifier)
    {+(Catch
      {+(
        {+(
          {+(Identifier)+})+})+}
      {+(Identifier)+})+}
    {-(Catch
      {-(
        {-(
          {-(Identifier)-})-})-}
      {-(Catch
        {-(
          {-(
            {-(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)-})-})-})