component EventNotHandled2
{
  provides IA pp;
  requires IB rp;

  behaviour
  {
    bool b = false;
    [b] on pp.ia(): rp.ia();
    [b] on rp.oa(): illegal;
  }

  // Simulate EventNotHandled =>
  //   rp.oa (implicitly) illegal
  // if the following trace is performed:
  //   rp.oa
}

interface IA
{
  in void ia();

  behaviour
  {
    on ia: {}
  }
}

interface IB
{
  in void ia();
  out void oa();

  behaviour
  {
    on ia: illegal;
    on inevitable: oa;
  }
}