f+x0fx+x+yz++xyz2.0f+x0fx+x+yz++xyz+x+yz+xytruef+x0fxtrue1f121+22112000f+x0fx1f111+2111000+x+yz+xy+x+yz++xyztrue1+21112+22122+x+yz+xy+x+yz++xyz+x+yz++xyz+x+yz++xyz1+212+211112
AProVE
20cf63ea9f01bf40524adf2af9b95e39102e7dab rene 20110328 unpublished dirty
http://aprove.informatik.rwth-aachen.de/
John
Doe