1 2 3 4 5 6 7 8
original.name="Old_Invalid_5" ====== >>> main.whiley method m(int x): // assert x == old(x) --- E320 main.whiley 3,16:18