// q3: p.e p.a r.e r.a r.b r.return p.return

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

interface ir3
{
  in void e();
  out void a();
  out void b();  
  behaviour
    {
      bool s = false;
      on e:
        {
          s = !s;
          a;
          b;          
        }
    }
}

component q3
{
  provides iq3 p;
  requires ir3 r;
  behaviour
    {
      on p.e():
        {
          p.a();
          r.e();
        }
      on r.a():
        {
        }
      on r.b():
        {
        }
    }
}