fXifXcftrueiftrueXYXiffalseXYYf1if3c0true0false0FULL./TRS/nontermin/CSR/Ex5_Zan97.trs