Needed changes for Z3