Adding a stat to the smt engine for whether or not an assertion rewrote to false.
Cleaning up code for commit to trunk.