path: root/test/files/run/idempotency-labels.check



2
{
  var x: Int = 0;
  while$1(){
    if (x.<(2))
      {
        x = x.+(1);
        while$1()
      }
    else
      ()
  };
  x
}
2
2
{
  var x: Int = 0;
  while$1(){
    if (x.<(2))
      {
        x = x.+(1);
        while$1()
      }
    else
      ()
  };
  x
}
2