component ComponentIsNonCompliantWithInterface
{
  provides I pp;

  behaviour
  {
    on pp.ia(): {}
  }

  // Verifying ComponentIsNonCompliantWithInterface =>
  //   pp.oa not performed by component
  // for trace
  //   pp.ia
  //   pp.return
}

interface I
{
  in void ia();
  out void oa();

  behaviour
  {
    bool b = true;
    [b] on ia: b = false;
    [!b] on ia: illegal;
    [!b] on inevitable: {oa; b = true;}
  }
}