{
let a_1 := 1
let a_2_1 := 2
let a_4312 := 0xdeadbeef
let _42 := 21718
}
// ----
// step: varNameCleaner
//
// {
// let a := 1
// let a_1 := 2
// let a_2 := 0xdeadbeef
// let _1 := 21718
// }