Patch by Daniel Lupei, fixing a performance bug with the counterexample cache.  (This is an old patch, reported at http://llvm.org/bugs/show_bug.cgi?id=11435, on KLEE's old bug tracking system.)