tests
var a := 1; a := a+1
const n = 5; var a := 0; var b := 1; while n > a do {b := 2*b; a := a+1}
var a:=0; a:=a+1; a:=a-2; a:=a*3