f g X Y f X n__f g X activate Y f X1 X2 n__f X1 X2 activate n__f X1 X2 f X1 X2 activate X X f 2 g 1 n__f 2 activate 1 FULL ./TRS/TRCSR/Ex4_4_Luc96b_Z.trs