{
let x_4 := 1
let x_3 := 2
let x_2 := 3
let x_1 := 4
}
// ====
// step: varNameCleaner
// ----
// {
// let x := 1
// let x_1 := 2
// let x_2 := 3
// let x_3 := 4
// }