carconsxlxcddrnilnilcddrconsxnilnilcddrconsxconsyllcadrconsxconsylyisZero0trueisZerosxfalseplusxyifplusisZeroxxyifplustruexyyifplusfalsexyspluspxytimesxyiftimesisZeroxxyiftimestruexy0iftimesfalsexyplusytimespxypsxxp00shorternilytrueshorterconsxl0falseshorterconsxlsyshorterlyprodlifshorterl0shorterls0liftruebls0iffalseblif2blif2truelcarlif2falselprodconstimescarlcadrlcddrlcar1cons2cddr1nil0cadr1isZero100true0s1false0plus2ifplus3p1times2iftimes3shorter2prod1if3if22INNERMOST./TRS/SchneiderKamp/trs/thiemann07.trs