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