automaton BoolToggler
  signature
    internal action1
  states 
    alpha: Bool := false
  transitions
    internal action1 case X
      pre alpha 
      eff alpha := false
    internal action1 case X
      pre ~alpha
      eff alpha := true

%% no schedule block,
%% and no error

%% (also runs in the Simulator)