if false X Y f X if X c if true X X if 2 false 0 f 1 c 0 true 0 FULL ./TRS/TRCSR/Ex5_Zan97_L.trs