interface I
{
  in bool ia();
  in bool ib();

  behaviour
  {
    on ia: reply(true);
    on ib: reply(true);
    on ib: reply(false);
  }
}

component compliance_reply_bool
{
  provides I pp;
  requires I rp;

  behaviour
  {
    bool bb = false;
    [!bb] on pp.ia(): {bb = true; bool b = rp.ib(); reply(true);}
    [bb] on pp.ia(): {bool b = rp.ib(); reply(b);}

    on pp.ib(): {bool b = rp.ib(); reply(false);}
  }
}

// Expect compliance fail
// Spec I allows
// <ia, true, ia, true>
// Impl compliance_reply_bool performs
// <pp.ia, rp.ib, rp.true, pp.true, pp.ia, rp.ib, rp.false, pp.false>