f f a f g n__f a f X n__f X activate n__f X f X activate X X f 1 a 0 g 1 n__f 1 activate 1 FULL ./TRS/TRCSR/Ex18_Luc06_Z.trs