digitize zmet in CSPModel, and flexibility for mock generation