appappplus0yyappappplusappsxyappsappappplusxyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsincappmapappplusapps02.1appappplusappsxyappsappappplusxyappappplusappsxyappappplusxyappappplusappsxyappplusxappappmapfappappconsxxsappappconsappfxappappmapfxsappappmapfappappconsxxsappconsappfxappappmapfappappconsxxsappfxappappmapfappappconsxxsappappmapfxsincappmapappplusapps0incappplusapps0incapps0trueincappmapappplusapps0false345678incappplusapps0false234567incapps0false123456appappmapfappappconsxxsappappmapfxsappappmapfappappconsxxsappfxtrue12345app21app20map01cons00app212app212map0cons0appappplusappsxyappappplusxytrue12app21app20plus00s01app221app212plus0s0appappplusappsxyappsappappplusxyfalseappappplusappsxyappplusxfalseappappmapfappappconsxxsappappconsappfxappappmapfxsfalseappappmapfappappconsxxsappconsappfxfalse
AProVE
d08497719f481e0c456d436c39d857ef33ce6dc3 rene 20120104 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe