Stop giving the name "arr" to unnamed variables; instead do that in the KLEE builder
Make a start on caching solver