rwValncOpValnrewritecrewriteOpxyrwxyrwOpxycrw[Let]OpxycrewritexrewriteValnValnsecondOpxyyisOpValnFalseisOpOpxyTruefirstValnValnfirstOpxyxassrewriteexprewriteexprw[Let]Opxyca1rw[Let][Let]Opxyca1rewriteyrw[Let][Let]abca1b1rw[Let][Let][Let]ca1b1rewritecrw[Let][Let][Let]ca1b1c1rwa1Opb1c1Op2True0rw[Let][Let]4isOp1rewrite1first1rw2second1assrewrite1rw[Let]3rw[Let][Let][Let]4Val1False0INNERMOSTFrederiksen_Others/assrewriteSize-MA.tml.trs