a__f X a__if mark X c f true a__if true X Y mark X a__if false X Y mark Y mark f X a__f mark X mark if X1 X2 X3 a__if mark X1 mark X2 X3 mark c c mark true true mark false false a__f X f X a__if X1 X2 X3 if X1 X2 X3 a__f 1 a__if 3 mark 1 c 0 f 1 true 0 false 0 if 3 INNERMOST ./TRS/TRCSR/inn/Ex5_Zan97_GM.trs