(VAR L X XS Y YS )
(STRATEGY CONTEXTSENSITIVE
        (app 1 2) 
        (nil ) 
        (cons 1) 
        (from 1) 
        (s 1) 
        (zWadr 1 2) 
        (prefix 1) 
)
(RULES 
        app(nil, YS) -> YS
        app(cons(X, XS), YS) -> cons(X, app(XS, YS))
        from(X) -> cons(X, from(s(X)))
        zWadr(nil, YS) -> nil
        zWadr(XS, nil) -> nil
        zWadr(cons(X, XS), cons(Y, YS)) -> cons(app(Y, cons(X, nil)), zWadr(XS, YS))
        prefix(L) -> cons(nil, zWadr(L, prefix(L)))
        
)