several bug fixes. repaired problem with recognizing loop heads and another with skipping loop head blocks. fixed issue with summaries refuting when they should not, and fixed precision bug concerning symbolic variables via addition of simplifyQuery() method