appappappiftruexyxappappappiftruexyyappapptakeWhilepnilnilappapptakeWhilepappappconsxxsappappappifapppxappappconsxappapptakeWhilepxsnilappappdropWhilepnilnilappappdropWhilepappappconsxxsappappappifapppxappappdropWhilepxsappappconsxxs2.1appif0ifif1if2if3true0truetakeWhile0takeWhiletakeWhile1takeWhile2nil0nilcons0conscons1cons2dropWhile0dropWhiledropWhile1dropWhile2appify1if1y1appif1x0y1if2x0y1appif2x0x1y1if3x0x1y1apptakeWhiley1takeWhile1y1apptakeWhile1x0y1takeWhile2x0y1appconsy1cons1y1appcons1x0y1cons2x0y1appdropWhiley1dropWhile1y1appdropWhile1x0y1dropWhile2x0y1if3truexyxif3truexyytakeWhile2pnilniltakeWhile2pcons2xxsif3apppxcons2xtakeWhile2pxsnildropWhile2pnilnildropWhile2pcons2xxsif3apppxdropWhile2pxscons2xxsappify1if1y1appif1x0y1if2x0y1appif2x0x1y1if3x0x1y1apptakeWhiley1takeWhile1y1apptakeWhile1x0y1takeWhile2x0y1appconsy1cons1y1appcons1x0y1cons2x0y1appdropWhiley1dropWhile1y1appdropWhile1x0y1dropWhile2x0y1if330true01takeWhile223nil03cons220app23dropWhile223if04if222takeWhile05cons06dropWhile07if33123true0takeWhile2212nil0cons2212app212dropWhile2212if0if111if2212takeWhile0takeWhile111cons0cons111dropWhile0dropWhile111apptakeWhile1x0y1takeWhile2x0y1appdropWhile1x0y1dropWhile2x0y11takeWhile1141dropWhile1111app220takeWhile2201dropWhile2230AProVEAProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty Statistics for single proof: 100.00 % (4 real / 0 unknown / 0 assumptions / 4 total proof steps)http://aprove.informatik.rwth-aachen.deJohnDoe