interface I
{
  in void e();
  out void a();
  behaviour
    {
      enum Enum { False, True };
      Enum s = Enum.False;
      [s.False] on e: 
        if (s.False) a;
        else 
          {
            Enum t = Enum.False;
            if (t.True)
              a;
          }
      [s.False] on e: if (s == Enum.False) a;
    }
}

component sugar
{
  provides I i;
  behaviour
    {
      enum Enum { False, True };
      Enum s = Enum.False;
      [s.False] on i.e(): 
        if (s.False) 
          i.a();
        else
          {
            Enum t = Enum.False;
            if (t.True)
              i.a();
          }
    }
}