interface iimplicit_on
{
  in void e();
  behaviour {
    bool done = false;
    on e: done = true;
    [done] on e: illegal;
  }
}

component implicit_on
{
  provides iimplicit_on p;
  behaviour {
  }
}