Approximation of tree incrementality for Z3 solver#104

misonijnik merged 2 commits intomainUnitTestBot/klee:mainfrom

columpio/tree-incrementalityUnitTestBot/klee:columpio/tree-incrementalityCopy head branch name to clipboard