eevalFunnensvspeeval[False][Let]FunnensvsplookbodynpeevalEqfsnsvspeeval[True][Ite]eqExpeevalfnsvspeevalsnsvspEqfsnsvspeevalErrore11e12nsvspeeval[False][Ite]FalseErrore11e12nsvspeevalFnsvspFeevalTnsvspTeevalITEitensvspeeval[Ite]checkConstrExpeevalinsvspTITEitensvspeevalBsfopt1t2nsvspeeval[Let]Bsfopt1t2nsvspeevalt1nsvspeevalVarintnsvsplookvarintnsvsrunConsFunf0exsinputrun[Let][Let]ConsFunf0exsinputf0lookbodyf0ConsFunf0exseqExpErrore11e12Errore21e22andeqExpe11e21eqExpe12e22eqExpErrore11e12FFalseeqExpErrore11e12TFalseeqExpErrore11e12Funfn2fe2FalseeqExpErrore11e12Eqeq21eq22FalseeqExpErrore11e12ITEi2t2e2FalseeqExpErrore11e12Bsfop2b21b22FalseeqExpErrore11e12Varv2FalseeqExpFErrore21e22FalseeqExpFFTrueeqExpFTFalseeqExpFFunfn2fe2FalseeqExpFEqeq21eq22FalseeqExpFITEi2t2e2FalseeqExpFBsfop2b21b22FalseeqExpFVarv2FalseeqExpTErrore21e22FalseeqExpTFFalseeqExpTTTrueeqExpTFunfn2fe2FalseeqExpTEqeq21eq22FalseeqExpTITEi2t2e2FalseeqExpTBsfop2b21b22FalseeqExpTVarv2FalseeqExpFunfn1fe1Errore21e22FalseeqExpFunfn1fe1FFalseeqExpFunfn1fe1TFalseeqExpFunfn1fe1Funfn2fe2and!EQfn1fn2eqExpfe1fe2eqExpFunfn1fe1Eqeq21eq22FalseeqExpFunfn1fe1ITEi2t2e2FalseeqExpFunfn1fe1Bsfop2b21b22FalseeqExpFunfn1fe1Varv2FalseeqExpEqeq11eq12Errore21e22FalseeqExpEqeq11eq12FFalseeqExpEqeq11eq12TFalseeqExpEqeq11eq12Funfn2fe2FalseeqExpEqeq11eq12Eqeq21eq22andeqExpeq11eq21eqExpeq12eq22eqExpEqeq11eq12ITEi2t2e2FalseeqExpEqeq11eq12Bsfop2b21b22FalseeqExpEqeq11eq12Varv2FalseeqExpITEi1t1e1Errore21e22FalseeqExpITEi1t1e1FFalseeqExpITEi1t1e1TFalseeqExpITEi1t1e1Funfn2fe2FalseeqExpITEi1t1e1Eqeq21eq22FalseeqExpITEi1t1e1ITEi2t2e2andeqExpi1i2andeqExpt1t2eqExpe1e2eqExpITEi1t1e1Bsfop2b21b22FalseeqExpITEi1t1e1Varv2FalseeqExpBsfop1b11b12Errore21e22FalseeqExpBsfop1b11b12FFalseeqExpBsfop1b11b12TFalseeqExpBsfop1b11b12Funfn2fe2FalseeqExpBsfop1b11b12Eqeq21eq22FalseeqExpBsfop1b11b12ITEi2t2e2FalseeqExpBsfo1b11b12Bsfo2b21b22andTrueandeqExpb11b21eqExpb12b22eqExpBsfop1b11b12Varv2FalseeqExpVarv1Errore21e22FalseeqExpVarv1FFalseeqExpVarv1TFalseeqExpVarv1Funfn2fe2FalseeqExpVarv1Eqeq21eq22FalseeqExpVarv1ITEi2t2e2FalseeqExpVarv1Bsfop2b21b22FalseeqExpVarv1Varv2!EQv1v2checkConstrExpErrore11e12Errore21e22TruecheckConstrExpErrore11e12FFalsecheckConstrExpErrore11e12TFalsecheckConstrExpErrore11e12Funfn2fe2FalsecheckConstrExpErrore11e12Eqeq21eq22FalsecheckConstrExpErrore11e12ITEi2t2e2FalsecheckConstrExpErrore11e12Bsfop2b21b22FalsecheckConstrExpErrore11e12Varv2FalsecheckConstrExpFErrore21e22FalsecheckConstrExpFFTruecheckConstrExpFTFalsecheckConstrExpFFunfn2fe2FalsecheckConstrExpFEqeq21eq22FalsecheckConstrExpFITEi2t2e2FalsecheckConstrExpFBsfop2b21b22FalsecheckConstrExpFVarv2FalsecheckConstrExpTErrore21e22FalsecheckConstrExpTFFalsecheckConstrExpTTTruecheckConstrExpTFunfn2fe2FalsecheckConstrExpTEqeq21eq22FalsecheckConstrExpTITEi2t2e2FalsecheckConstrExpTBsfop2b21b22FalsecheckConstrExpTVarv2FalsecheckConstrExpFunfn1fe1Errore21e22FalsecheckConstrExpFunfn1fe1FFalsecheckConstrExpFunfn1fe1TFalsecheckConstrExpFunfn1fe1Funfn2fe2TruecheckConstrExpFunfn1fe1Eqeq21eq22FalsecheckConstrExpFunfn1fe1ITEi2t2e2FalsecheckConstrExpFunfn1fe1Bsfop2b21b22FalsecheckConstrExpFunfn1fe1Varv2FalsecheckConstrExpEqeq11eq12Errore21e22FalsecheckConstrExpEqeq11eq12FFalsecheckConstrExpEqeq11eq12TFalsecheckConstrExpEqeq11eq12Funfn2fe2FalsecheckConstrExpEqeq11eq12Eqeq21eq22TruecheckConstrExpEqeq11eq12ITEi2t2e2FalsecheckConstrExpEqeq11eq12Bsfop2b21b22FalsecheckConstrExpEqeq11eq12Varv2FalsecheckConstrExpITEi1t1e1Errore21e22FalsecheckConstrExpITEi1t1e1FFalsecheckConstrExpITEi1t1e1TFalsecheckConstrExpITEi1t1e1Funfn2fe2FalsecheckConstrExpITEi1t1e1Eqeq21eq22FalsecheckConstrExpITEi1t1e1ITEi2t2e2TruecheckConstrExpITEi1t1e1Bsfop2b21b22FalsecheckConstrExpITEi1t1e1Varv2FalsecheckConstrExpBsfop1b11b12Errore21e22FalsecheckConstrExpBsfop1b11b12FFalsecheckConstrExpBsfop1b11b12TFalsecheckConstrExpBsfop1b11b12Funfn2fe2FalsecheckConstrExpBsfop1b11b12Eqeq21eq22FalsecheckConstrExpBsfop1b11b12ITEi2t2e2FalsecheckConstrExpBsfop1b11b12Bsfop2b21b22TruecheckConstrExpBsfop1b11b12Varv2FalsecheckConstrExpVarv1Errore21e22FalsecheckConstrExpVarv1FFalsecheckConstrExpVarv1TFalsecheckConstrExpVarv1Funfn2fe2FalsecheckConstrExpVarv1Eqeq21eq22FalsecheckConstrExpVarv1ITEi2t2e2FalsecheckConstrExpVarv1Bsfop2b21b22FalsecheckConstrExpVarv1Varv2TruelooknamefConsFunnexslookname[Ite]!EQfnfConsFunnexslookbodyfConsFunnexslookbody[Ite]!EQfnfConsFunnexsgetVarVarintintgetIfTrueITEitetgetIfGuardITEiteigetIfFalseITEiteegetFuncNameFunnengetFuncExpFunneegetEqSecondEqfssgetEqFirstEqfsfgetConstCstintintgetBsfSecondTermBsfopt1t2t2getBsfOpBsfopt1t2opgetBsfFirstTermBsfopt1t2t1applyopv1v2apply[Ite]eqExpv1v2opv1v2lookvarx'Consxxsvslookvar[Ite]!EQx'xx'ConsxxsvseqOpso1o2True!EQSxSy!EQxy!EQ0SyFalse!EQSx0False!EQ00TrueandFalseFalseFalseandTrueFalseFalseandFalseTrueFalseandTrueTrueTrueeeval[False][Ite]TrueEqfsnsvspeeval[True][Ite]eqExpeevalfnsvspeevalsnsvspEqfsnsvsplookvar[Ite]Falsex'Consx''xs'Consxxslookvarx'xs'xslookname[Ite]TruefConsFunnexsnlookbody[Ite]TruefConsFunnexseeeval[False][Ite]FalseFunnensvspeeval[False][Let]Funnensvsplookbodynpeeval[Ite]FalseITEitensvspeevalensvspeeval[Ite]TrueITEitensvspeevaltnsvspeeval[False][Let]Funnensvspefeeval[False][Let][Let]Funnensvspeflooknamenpeeval[False][Let][Let]Funnensvspefnfeeval[Let][Let][Let]Funnensvspefnfeevalensvspeeval[Let]Bsfopt1t2nsvspv1eeval[Let][Let]Bsfopt1t2nsvspv1eevalt2nsvspeeval[Let][Let]Bsfopt1t2nsvspv1v2applyopv1v2lookvar[Ite]Truex'nsConsxxsxlookname[Ite]FalsefConsxxslooknamefxslookbody[Ite]FalsefConsxxslookbodyfxseeval[True][Ite]FalseensvspFeeval[True][Ite]TrueensvspTapply[Ite]Falseopv1v2Fapply[Ite]Trueopv1v2Trun[Let][Let]pinputf0efrun[Let]pinputf0eflooknamef0prun[Let]pinputf0efnfeevalefConsnfNilConsinputNilpeeval[Let][Let][Let]ensvspefnfveevalefConsnfNilConsvNilpgetFuncName1True0Fun2Var1lookvar3lookbody[Ite]3eeval[Let]5lookvar[Ite]4lookname2!EQ2getConst1apply[Ite]4Eq2eqExp2Bsf3False0apply3getVar1getBsfSecondTerm1getEqFirst1S100getBsfOp1lookname[Ite]3getIfGuard1eeval[Let][Let]6run2getIfFalse1lookbody2eeval[False][Let]5ITE3eeval[Ite]5run[Let]5getFuncExp1Error2Cons2eeval[True][Ite]5Cst1eeval[False][Ite]5Nil0eeval4eeval[False][Let][Let]6checkConstrExp2and2getIfTrue1getEqSecond1eeval[Let][Let][Let]7getBsfFirstTerm1T0run[Let][Let]4F0eqOps2INNERMOSTFrederiksen_Glenstrup/int.trs