component SpuriousVoidReplyStatement
{
  provides I pp;
  
  behaviour
  {
    on pp.ia(): reply();
  }
  // Simulating SpuriousVoidReplyStatement =>
  //   Void reply not allowed in non-blocking action.
  // if the following trace is performed:
  //   pp.ia
}

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