component CompletenessReplyValueNotSet
{
  provides I pp;
  requires ISync rp;
  
  behaviour
  {
    on pp.ia(): rp.ia(); // Completeness:: pp.ia reply value not set
    on rp.ok(): {}
  }
  // Simulate CompletenessReplyValueNotSet =>
  //   pp.ia reply value not set
  // if following trace is performed:
  //   pp.ia
  //   rp.ia
  //   rp.ok
  //   rp.return
}

interface I
{
  in bool ia();
  
  behaviour
  {
    on ia: reply(true);
    on ia: reply(false);
  }
}

interface ISync
{
  in void ia();
  out void ok();
  
  behaviour
  {
    on ia: ok;
  }
}