appappappendnilysysappappappendappappconsxxsysappappconsxappappappendxsysappappflatwithfappleafxappappconsappfxnilappappflatwithfappnodexsappappflatwithsubfxsappappflatwithsubfnilnilappappflatwithsubfappappconsxxsappappappendappappflatwithfxappappflatwithsubfxs2.1appappappendappappconsxxsysappappconsxappappappendxsysappappappendappappconsxxsysappappappendxsysappappappendappappconsxxsysappappendxsappappflatwithfappleafxappappconsappfxnilappappflatwithfappleafxappconsappfxappappflatwithfappleafxappfxappappflatwithfappnodexsappappflatwithsubfxsappappflatwithfappnodexsappflatwithsubfappappflatwithsubfappappconsxxsappappappendappappflatwithfxappappflatwithsubfxsappappflatwithsubfappappconsxxsappappendappappflatwithfxappappflatwithsubfappappconsxxsappappflatwithfxappappflatwithsubfappappconsxxsappflatwithfappappflatwithsubfappappconsxxsappappflatwithsubfxstrueappappflatwithfappnodexsappappflatwithsubfxsappappflatwithsubfappappconsxxsappappflatwithfxappappflatwithfappleafxappfxappappflatwithsubfappappconsxxsappappflatwithsubfxstrue123456789app20020app22app21flatwith00node03flatwithsub00cons04leaf02app2app221flatwith0node0flatwithsub0cons0leaf0appappflatwithfappnodexsappappflatwithsubfxsappappflatwithsubfappappconsxxsappappflatwithfxappappflatwithsubfappappconsxxsappappflatwithsubfxsapp21221app20app21flatwith00node02flatwithsub00cons03app2app221flatwith0node0flatwithsub0cons0appappflatwithsubfappappconsxxsappappappendappappflatwithfxappappflatwithsubfxsfalse123appappappendappappconsxxsysappappappendxsystrue12app212app20app20append01cons02app22app221append0cons0appappappendappappconsxxsysappappconsxappappappendxsysfalseappappappendappappconsxxsysappappendxsfalseappappflatwithfappleafxappappconsappfxnilfalseappappflatwithfappleafxappconsappfxfalseappappflatwithfappnodexsappflatwithsubffalseappappflatwithsubfappappconsxxsappappendappappflatwithfxfalseappappflatwithsubfappappconsxxsappflatwithffalse
AProVE
3d3b40ebf1f1cc0cfb76e51606fb79299fd7ea19 rene 20120105 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe