Initial commit of Z3 model integration.