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