f X if X c n__f true if true X Y X if false X Y activate Y f X n__f X activate n__f X f X activate X X f 1 if 3 c 0 n__f 1 true 0 false 0 activate 1 FULL ./TRS/TRCSR/Ex5_Zan97_Z.trs