Address #6 by detecting the Z3 version