YES
Time: 0.000548
TRS:
 {       app(nil(), YS) -> YS,
        app(cons X, YS) -> cons X,
                 from X -> cons X,
       zWadr(XS, nil()) -> nil(),
       zWadr(nil(), YS) -> nil(),
  zWadr(cons X, cons Y) -> cons app(Y, cons X),
               prefix L -> cons nil()}
 DP:
  DP:
   {zWadr#(cons X, cons Y) -> app#(Y, cons X)}
  TRS:
  {       app(nil(), YS) -> YS,
         app(cons X, YS) -> cons X,
                  from X -> cons X,
        zWadr(XS, nil()) -> nil(),
        zWadr(nil(), YS) -> nil(),
   zWadr(cons X, cons Y) -> cons app(Y, cons X),
                prefix L -> cons nil()}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):