interface pessimist
{
  in void e();
  //out void a();
  behaviour
  {
    bool b = false;
    on e:
      b = !b;
    [b]
      on e:
      illegal;
  }
}