(Program
  (Decorator
    (ScopeResolution
      (Identifier)
      (Identifier))
    (Class
    { (Identifier)
    ->(Identifier) }
      (
        (Decorator
          (ScopeResolution
            (Identifier))
          ([])
          (Decorator
            (ScopeResolution
            { (Identifier)
            ->(Identifier) })
            (
            {+(Identifier)+}
            {-(Integer)-})
            (Decorator
              (ScopeResolution
              { (Identifier)
              ->(Identifier) })
              (
              {+(Identifier)+}
              {-(Integer)-}
              {-(Integer)-})
              (Decorator
                (ScopeResolution
                  (Identifier))
                (
                {+(Integer)+}
                  (Assignment
                  { (Identifier)
                  ->(Identifier) }
                    (Boolean))
                {+(Identifier)+}
                {+(Identifier)+})
              { (Decorator
                {-(ScopeResolution
                  {-(Identifier)-})-}
                {-(
                  {-(Identifier)-})-}
                {-(Decorator
                  {-(ScopeResolution
                    {-(Identifier)-})-}
                  {-(
                    {-(Identifier)-})-}
                  {-(Decorator
                    {-(ScopeResolution
                      {-(Identifier)-})-}
                    {-(
                      {-(Integer)-}
                      {-(Assignment
                        {-(Identifier)-}
                        {-(Boolean)-})-}
                      {-(Identifier)-}
                      {-(Identifier)-})-}
                    {-(Annotation
                      {-(Function
                        {-(Identifier)-}
                        {-(
                          {-(Identifier)-})-})-}
                      {-(Empty)-})-})-})-})
              ->(Annotation
                {+(Function
                  {+(Identifier)+}
                  {+(
                    {+(Identifier)+})+})+}
                {+(Empty)+}) }))))))))