interface missingstate {
  in void e();
  out void a();
  behaviour {
    enum State {idle, busy};
    State state = State.idle;
    [state.idle] on e: {a; state = State.busy;}
    //[state.busy] on e: illegal;
  }
}