let dzone_assigned m z = M.dzone_assigned m.mem (massigned z)