diff --git a/tests/mbt/model/ccv_model.qnt b/tests/mbt/model/ccv_model.qnt
index 9727a56475..12eca0fa8c 100644
--- a/tests/mbt/model/ccv_model.qnt
+++ b/tests/mbt/model/ccv_model.qnt
@@ -663,7 +663,8 @@ module ccv_model {
         }
 
     action nondetKeyAssignment = 
-        any {
+        all {
+            runningConsumers.size() > 0,
             nondet node = oneOf(nodes)
             nondet consumerAddr = oneOf(consumerAddresses)
             nondet consumer = oneOf(runningConsumers)