How to Check Equivalences
http://www.cs.hmc.edu/~keller/javaExamples/taut/