Spring 2007 - EECS 290N
Equivalence Checking