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