rewriteOpValnyOprewriteyValnrewriteOpOpxyy'rewrite[Let]OpOpxyy'OpxyrewritexrewriteValnValnsecondOpxyyisOpValnFalseisOpOpxyTruefirstValnValnfirstOpxyxassrewriteexprewriteexprewrite[Let]expOpxya1rewrite[Let][Let]expOpxya1rewriteyrewrite[Let][Let]Opxyopaba1b1rewrite[Let][Let][Let]Opxya1b1rewriteyrewrite[Let][Let][Let]expa1b1c1rewriteOpa1Opb1rewritec1second1Op2True0isOp1assrewrite1rewrite1rewrite[Let][Let][Let]4rewrite[Let]3first1Val1False0rewrite[Let][Let]4INNERMOSTFrederiksen_Glenstrup/assrewrite.tml.trs