component InvalidEventTrace
{
  provides I pp;
  
  behaviour
  {
    on pp.ia(): {}
  }

  // Simulating InvalidEventTrace =>
  //   Invalid event trace
  // if the following trace is performed:
  //   oa
}

interface I
{
  in void ia();
  
  behaviour
  {
    on ia: {}
  }  
}