app nil YS YS app cons X YS cons X from X cons X zWadr nil YS nil zWadr XS nil nil zWadr cons X cons Y cons app Y cons X prefix L cons nil app 2 nil 0 cons 1 from 1 zWadr 2 prefix 1 INNERMOST ./TRS/TRCSR/inn/Ex3_3_25_Bor03_L.trs