// q2: p.e p.a p.return
// q2: r.a
// ir: a a

interface iq2
{
  in void e();
  out void a();
  behaviour
    {
      on e:
        {
          a;
        }
    }
}

interface ir2
{
  out void a();
  behaviour
    {
      bool s = false;
      on inevitable:
        {
          s = !s;
          a;
          a;          
        }
    }
}

component q2
{
  provides iq2 p;
  requires ir2 r;
  behaviour
    {
      on p.e():
        {
          p.a();
        }
      on r.a():
        {
          // p.a();
          // p.a();          
        }
    }
}