f X if X c f true if true X Y X if false X Y Y f 1 1 if 3 1 2 c 0 true 0 false 0 FULL ./TRS/CSR/Ex5_Zan97.trs