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 app 2 nil 0 cons 2 from 1 s 1 zWadr 2 prefix 1 FULL ./TRS/nontermin/CSR/Ex3_3_25_Bor03.trs