#### Put in a wait for a state-no-change

sp {top-state*propose*wait
   (state <s> ^attribute state
              ^choices none
             -^operator.name wait)
-->
   (<s> ^operator <o>)
   (<o> ^name wait)}

### This avoids a operator no-change after wait is selected
### I've included it just to keep the trace simple

sp {top-state*apply*wait*random
   (state <s> ^operator <o>)
   (<o> ^name wait)
-->
   (<o> ^random elaboration)}

