{
  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
// }