Turn down the default initial number of stimuli to 1

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) < # .