{
  let a := 1
  a := 2
  a := 3
  a := 4
}
// ----
// ssaTransform
// {
//     let a_1 := 1
//     let a := a_1
//     let a_2 := 2
//     a := a_2
//     let a_3 := 3
//     a := a_3
//     let a_4 := 4
//     a := a_4
// }