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