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