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 1 cons 2 1 g 1 1 0 0 s 1 1 sel 2 1 2 FULL ./TRS/CSR/Ex4_Zan97.trs