factXifzeroXs0prodXfactpXadd0XXaddsXYsaddXYprod0X0prodsXYaddYprodXYiftrueXYXiffalseXYYzero0truezerosXfalsepsXXfact1if3zero1s100prod2p1add2true0false0FULL./TRS/nontermin/CSR/ExIntrod_Zan97.trs