void () { int a = 0; int[] b = new int[1]; // test that this will be shortened a = a + 3; // test that this will be shortened a = a * 3; // test that this will be shortened a = a - 3; // test that this will be shortened a = a % 3; // test that this will be shortened a = a / 3; // test that this will be shortened a = (a) / 3; // test that this will be shortened b[a] = b[a] / 3; // test that this will be shortened b[a] = b[(a)] / 3; // test that this does nothing b[a++] = b[a++] / 3; }