def normalize(x: LispCaseClasses.Data): LispCaseClasses.Data = {
      <synthetic> val _$this: LispCaseClasses.type = LispCaseClasses.this;
      _normalize(_$this,x){
        <synthetic> val temp35: LispCaseClasses.Data = x;
        if (temp35.isInstanceOf[LispCaseClasses.CONS]())
          {
            <synthetic> val temp36: LispCaseClasses.CONS = temp35.asInstanceOf[LispCaseClasses.CONS]();
            <synthetic> val temp37: LispCaseClasses.Data = temp36.car();
            <synthetic> val temp38: LispCaseClasses.Data = temp36.cdr();
            if (temp37.isInstanceOf[LispCaseClasses.SYM]())
              {
                <synthetic> val temp39: LispCaseClasses.SYM = temp37.asInstanceOf[LispCaseClasses.SYM]();
                <synthetic> val temp40: java.lang.String = temp39.name();
                if (temp40.==("def"))
                  {
                    if (temp38.isInstanceOf[LispCaseClasses.CONS]())
                      {
                        <synthetic> val temp42: LispCaseClasses.CONS = temp38.asInstanceOf[LispCaseClasses.CONS]();
                        <synthetic> val temp43: LispCaseClasses.Data = temp42.car();
                        <synthetic> val temp44: LispCaseClasses.Data = temp42.cdr();
                        if (temp43.isInstanceOf[LispCaseClasses.CONS]())
                          {
                            <synthetic> val temp45: LispCaseClasses.CONS = temp43.asInstanceOf[LispCaseClasses.CONS]();
                            <synthetic> val temp46: LispCaseClasses.Data = temp45.car();
                            <synthetic> val temp47: LispCaseClasses.Data = temp45.cdr();
                            if (temp46.isInstanceOf[LispCaseClasses.SYM]())
                              {
                                <synthetic> val temp48: LispCaseClasses.SYM = temp46.asInstanceOf[LispCaseClasses.SYM]();
                                <synthetic> val temp49: java.lang.String = temp48.name();
                                if (temp44.isInstanceOf[LispCaseClasses.CONS]())
                                  {
                                    <synthetic> val temp50: LispCaseClasses.CONS = temp44.asInstanceOf[LispCaseClasses.CONS]();
                                    <synthetic> val temp51: LispCaseClasses.Data = temp50.car();
                                    <synthetic> val temp52: LispCaseClasses.Data = temp50.cdr();
                                    if (temp52.isInstanceOf[LispCaseClasses.CONS]())
                                      {
                                        <synthetic> val temp53: LispCaseClasses.CONS = temp52.asInstanceOf[LispCaseClasses.CONS]();
                                        <synthetic> val temp54: LispCaseClasses.Data = temp53.car();
                                        if (temp53.cdr().isInstanceOf[LispCaseClasses.NIL]())
                                          {
                                            _normalize(LispCaseClasses.this, LispCaseClasses.this.list(new LispCaseClasses.SYM("def"), new LispCaseClasses.SYM(temp49), LispCaseClasses.this.list(new LispCaseClasses.SYM("lambda"), temp47, temp51), temp54))
                                          }
                                        else
                                          {
                                            val h: LispCaseClasses.Data = temp39;
                                            val t: LispCaseClasses.Data = temp42;
                                            body%31(h,t){
                                              new LispCaseClasses.CONS(LispCaseClasses.this.normalize(h), LispCaseClasses.this.normalize(t))
                                            }
                                          }
                                      }
                                    else
                                      {
                                        body%31(temp39, temp42)
                                      }
                                  }
                                else
                                  {
                                    body%31(temp39, temp42)
                                  }
                              }
                            else
                              {
                                body%31(temp39, temp42)
                              }
                          }
                        else
                          {
                            body%31(temp39, temp42)
                          }
                      }
                    else
                      {
                        body%31(temp39, temp38)
                      }
                  }
                else
                  if (temp40.==("cond"))
                    {
                      if (temp38.isInstanceOf[LispCaseClasses.CONS]())
                        {
                          <synthetic> val temp58: LispCaseClasses.CONS = temp38.asInstanceOf[LispCaseClasses.CONS]();
                          <synthetic> val temp59: LispCaseClasses.Data = temp58.car();
                          <synthetic> val temp60: LispCaseClasses.Data = temp58.cdr();
                          if (temp59.isInstanceOf[LispCaseClasses.CONS]())
                            {
                              <synthetic> val temp61: LispCaseClasses.CONS = temp59.asInstanceOf[LispCaseClasses.CONS]();
                              <synthetic> val temp62: LispCaseClasses.Data = temp61.car();
                              <synthetic> val temp63: LispCaseClasses.Data = temp61.cdr();
                              if (temp62.isInstanceOf[LispCaseClasses.SYM]())
                                {
                                  <synthetic> val temp64: LispCaseClasses.SYM = temp62.asInstanceOf[LispCaseClasses.SYM]();
                                  if (temp64.name().==("else"))
                                    {
                                      if (temp63.isInstanceOf[LispCaseClasses.CONS]())
                                        {
                                          <synthetic> val temp67: LispCaseClasses.CONS = temp63.asInstanceOf[LispCaseClasses.CONS]();
                                          <synthetic> val temp68: LispCaseClasses.Data = temp67.car();
                                          if (temp67.cdr().isInstanceOf[LispCaseClasses.NIL]())
                                            {
                                              if (temp60.isInstanceOf[LispCaseClasses.NIL]())
                                                {
                                                  _normalize(LispCaseClasses.this, temp68)
                                                }
                                              else
                                                {
                                                  val test: LispCaseClasses.Data = temp64;
                                                  val expr: LispCaseClasses.Data = temp68;
                                                  val rest: LispCaseClasses.Data = temp60;
                                                  body%23(test,expr,rest){
                                                    _normalize(LispCaseClasses.this, LispCaseClasses.this.list(new LispCaseClasses.SYM("if"), test, expr, new LispCaseClasses.CONS(new LispCaseClasses.SYM("cond"), rest)))
                                                  }
                                                }
                                            }
                                          else
                                            {
                                              body%31(temp39, temp58)
                                            }
                                        }
                                      else
                                        {
                                          body%31(temp39, temp58)
                                        }
                                    }
                                  else
                                    if (temp63.isInstanceOf[LispCaseClasses.CONS]())
                                      {
                                        <synthetic> val temp72: LispCaseClasses.CONS = temp63.asInstanceOf[LispCaseClasses.CONS]();
                                        if (temp72.cdr().isInstanceOf[LispCaseClasses.NIL]())
                                          {
                                            body%23(temp64, temp72.car(), temp60)
                                          }
                                        else
                                          {
                                            body%31(temp39, temp58)
                                          }
                                      }
                                    else
                                      {
                                        body%31(temp39, temp58)
                                      }
                                }
                              else
                                if (temp63.isInstanceOf[LispCaseClasses.CONS]())
                                  {
                                    <synthetic> val temp76: LispCaseClasses.CONS = temp63.asInstanceOf[LispCaseClasses.CONS]();
                                    if (temp76.cdr().isInstanceOf[LispCaseClasses.NIL]())
                                      {
                                        body%23(temp62, temp76.car(), temp60)
                                      }
                                    else
                                      {
                                        body%31(temp39, temp58)
                                      }
                                  }
                                else
                                  {
                                    body%31(temp39, temp58)
                                  }
                            }
                          else
                            {
                              body%31(temp39, temp58)
                            }
                        }
                      else
                        {
                          body%31(temp39, temp38)
                        }
                    }
                  else
                    {
                      body%31(temp39, temp38)
                    }
              }
            else
              {
                body%31(temp37, temp38)
              }
          }
        else
          {
            x
          }
      }
    };