Change klee and add flag

Author: sava-cska

server/src/KleeRunner.cpp

@@ -232,6 +232,7 @@ KleeRunner::createKleeParams(const tests::TestMethod &testMethod,
                                           "--check-div-zero=false",
                                           "--check-overshift=false",
                                           "--skip-not-symbolic-objects",
+                                          "--use-tbaa",
                                           "--output-dir=" + kleeOut.string()};
     if (settingsContext.useDeterministicSearcher) {
         argvData.emplace_back("--search=dfs");