andtrueyyandfalseyfalseeqnilniltrueeqconstlnilfalseeqnilconstlfalseeqconstlconst'l'andeqtt'eqll'eqvarlvarl'eqll'eqvarlapplytsfalseeqvarllambdaxtfalseeqapplytsvarlfalseeqapplytsapplyt's'andeqtt'eqss'eqapplytslambdaxtfalseeqlambdaxtvarlfalseeqlambdaxtapplytsfalseeqlambdaxtlambdax't'andeqxx'eqtt'iftruevarkvarl'varkiffalsevarkvarl'varl'renvarlvarkvarl'ifeqll'varkvarl'renxyapplytsapplyrenxytrenxysrenxylambdaztlambdavarconsxconsyconslambdaztnilrenxyrenzvarconsxconsyconslambdaztniltand2true0false0eq2nil0cons2var1apply2lambda2if3ren3FULL./TRS/nontermin/AG01/#4.35.trs