1
2
3
4
5
6
7
8
// --initial-memory a:[-10,10]
// --final-memory a:[-5,64]

a = a + 5;
loop {
  assume (a < 30);
  a = a + 4
}