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

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