Added missing changes from last commit.
Fixed WZ3_Ptr call with Z3_Sort