1[2]; (LHS is not array) [1][2]; (array access out of bounds) currently makes the CSE machine get stuck without any visible error.