app nil YS YS app cons X XS YS cons X n__app activate XS YS from X cons X n__from n__s X zWadr nil YS nil zWadr XS nil nil zWadr cons X XS cons Y YS cons app Y cons X n__nil n__zWadr activate XS activate YS prefix L cons nil n__zWadr L n__prefix L app X1 X2 n__app X1 X2 from X n__from X s X n__s X nil n__nil zWadr X1 X2 n__zWadr X1 X2 prefix X n__prefix X activate n__app X1 X2 app activate X1 activate X2 activate n__from X from activate X activate n__s X s activate X activate n__nil nil activate n__zWadr X1 X2 zWadr activate X1 activate X2 activate n__prefix X prefix activate X activate X X app 2 nil 0 cons 2 n__app 2 activate 1 from 1 n__from 1 n__s 1 zWadr 2 n__nil 0 n__zWadr 2 prefix 1 n__prefix 1 s 1 FULL ./TRS/TRCSR/Ex3_3_25_Bor03_FR.trs