diff --git a/node-preds.maude b/node-preds.maude
index 0167031584afcf30298f1287e4712bf5ed766392..d9ae0dc300d4c4bf868e9f126951ee1fe32802f8 100644
--- a/node-preds.maude
+++ b/node-preds.maude
@@ -11,7 +11,7 @@ omod NODE-SYSTEM{N :: NZNAT#} is
 
   vars N I : Nat .
   var ENID : OidSet .
-  eq init = initSystemWithStimuli(200) .
+  eq init = initSystemWithStimuli(1) .
   ceq initSystemWithStimuli(I) = initSystemHelper([N], I, initOidset([N])) if s(N) := # .
   eq initOidset([0]) = mt .
   ceq initOidset([s(N)]) = [s(N)] initOidset([N]) if s(N) < # .