Member handlerInfo []: Almost all of the demands in this file should be replaced with terminateState calls.
Class klee::Executor: Add a context object to keep track of data only live during an instruction step. Should contain addedStates, removedStates, and haltExecution, among others.