f X cons X f g X g 0 s 0 g s X s s g X sel 0 cons X Y X sel s X cons Y Z sel X Z f 1 cons 2 g 1 0 0 s 1 sel 2 FULL ./TRS/nontermin/CSR/Ex4_Zan97.trs