component OutEventsOnProvidesPortNotAllowed
{
  provides I ppa;
  provides I ppb;
  
  behaviour
  {
    on ppa.ia(): ppb.oa();
    on ppb.ia(): {}
  }
  
  // Simulating OutEventsOnProvidesPortNotAllowed
  //   Out-events on provides port PORT_B not allowed. Only out-events on
  //   provides port PORT_A allowed in current call context.
  // if the following trace is performed:
  //   ppa.ia
  //   ppb.oa
}

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