(Statements
  (Package
    (Identifier))
  (Function
    (Identifier)
  { (Statements
    {-(Match
      {-(Statements)-}
      {-(Pattern
        {-(Statements
          {-(Identifier)-}
          {-(Call
            {-(Identifier)-}
            {-(Statements)-}
            {-(Empty)-})-})-}
        {-(Statements)-})-})-}
    {-(Match
      {-(Statements
        {-(Identifier)-})-}
      {-(Pattern
        {-(Statements
          {-(Statements
            {-(Integer)-}
            {-(Integer)-})-}
          {-(Call
            {-(Identifier)-}
            {-(Statements)-}
            {-(Empty)-})-}
          {-(Call
            {-(Identifier)-}
            {-(Statements)-}
            {-(Empty)-})-}
          {-(Pattern
            {-(Identifier)-}
            {-(Empty)-})-})-}
        {-(DefaultPattern
          {-(Statements)-})-})-})-})
  ->(Match
    {+(Empty)+}
    {+(Statements)+}) }))