sel s X cons Y sel X Z f X cons X g 0 s 0 g s X s s g X sel 0 cons X X sel 2 s 1 cons 1 f 1 g 1 0 0 FULL ./TRS/TRCSR/Ex4_Zan97_L.trs