component ReplyNotAllowedOnRequiresPort
{
  provides I pp;
  requires I rp;
  
  behaviour
  {
    on pp.ia(): {}
    on rp.oa(): reply();
  }
  // Simulating ReplyNotAllowedOnRequiresPort =>
  //   Reply not allowed on 'requires' port: 'rp'
  // if the following trace is performed:
  //   rp.oa
}

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