1 2 3 4 5 6 7 8
original.name="IntArith_Invalid_1" ====== >>> main.whiley method m(): int x = 1 + 2 - 3 --- E321 main.whiley 2,18