Create new branch for Z3 C++ API theory - Fix bug later