Refactored ConstructSolverChain() so that it is shared now by klee and kleaver.