appnotappnotxxappnotappapporxyappappandappnotxappnotyappnotappappandxyappapporappnotxappnotyappappandxappapporyzappapporappappandxyappappandxzappappandappapporyzxappapporappappandxyappappandxzappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxs2.0appnotappapporxyappappandappnotxappnotyappnotappapporxyappandappnotxappnotappapporxyappnotxappnotappapporxyappnotyappnotappappandxyappapporappnotxappnotyappnotappappandxyapporappnotxappnotappappandxyappnotxappnotappappandxyappnotyappappandxappapporyzappapporappappandxyappappandxzappappandxappapporyzapporappappandxyappappandxappapporyzappappandxyappappandxappapporyzappappandxzappappandappapporyzxappapporappappandxyappappandxzappappandappapporyzxapporappappandxyappappandappapporyzxappappandxyappappandappapporyzxappandxappappandappapporyzxappappandxzappappmapfappappconsxxsappappconsappfxappappmapfxsappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxsappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappfilterfappappconsxxsappappappfilter2appfxfxappappfilterfappappconsxxsappappfilter2appfxfappappfilterfappappconsxxsappfilter2appfxappappfilterfappappconsxxsappfxappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2truefxxsappconsxappappappappfilter2truefxxsappappfilterfxsappappappappfilter2truefxxsappfilterfappappappappfilter2falsefxxsappappfilterfxsappappappappfilter2falsefxxsappfilterftrueappappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappfilterfxsappappfilterfappappconsxxsappfxappappappappfilter2falsefxxsappappfilterfxstrue12345678910111213141516171819201app212app21112map00cons01filter00filter200true00false00not00or00and00nil00appappappappfilter2truefxxsappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsappappappappfilter2truefxxsappappfilterfxsfalseappappappappfilter2falsefxxsappappfilterfxsfalseappnotappapporxyappnotyappnotappapporxyappnotxappnotappappandxyappnotxappnotappappandxyappnotytrue123456789101app2-222not00app222112or01and01appnotappapporxyappappandappnotxappnotyfalse156789appnotappapporxyappandappnotxfalse45678appnotappappandxyappapporappnotxappnotyfalseappnotappappandxyapporappnotxfalseappappandxappapporyzappappandxzappappandxappapporyzappappandxyappappandappapporyzxappappandxyappappandappapporyzxappappandxztrue1app22122app21112and00or00appappandxappapporyzappappandxzappappandxappapporyzappappandxyappappandappapporyzxappappandxyappappandappapporyzxappappandxz1app21112app211112and00or01appappandxappapporyzappapporappappandxyappappandxzfalseappappandxappapporyzapporappappandxyfalseappappandappapporyzxappapporappappandxyappappandxzfalseappappandappapporyzxapporappappandxyfalseappappandappapporyzxappandxfalseappappmapfappappconsxxsappappconsappfxappappmapfxsfalseappappmapfappappconsxxsappconsappfxfalseappappfilterfappappconsxxsappappappfilter2appfxfxfalseappappfilterfappappconsxxsappappfilter2appfxffalseappappfilterfappappconsxxsappfilter2appfxfalseappappappappfilter2truefxxsappappconsxappappfilterfxsfalseappappappappfilter2truefxxsappconsxfalseappappappappfilter2truefxxsappfilterffalseappappappappfilter2falsefxxsappfilterffalse
AProVE
cb833845625c1ead9ffe8258c791cc945104daa0 rene 20110429 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe