"simplify_assignments" creates infinite loop with iterate

[sppalkia]

e.g., the following code will loop infinitely due to an incorrect variable deletion in the SIR:

|e: vec[i8]|
let lenString = len(e);
iterate(lenString - 1L, |p| {p - 1L, p > 7L})