{
  var x, y, z : Integer

  % Simple variable shadowing test
  x := 0
  if true {
    var x : Boolean
    x := false
  }
  x := 1

  % Test shadowing for deeper scoping
  y := 0
  z := 1
  while z = 1 and y + 1 = 1 do {
    var y : Boolean
    y := true

    if y {
      var y : Integer
      y := 0
    }
    y := false
    z := 0
  }
}