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