original.name="Old_Invalid_5"
======
>>> main.whiley
method m(int x):
    //
    assert x == old(x)
---
E320 main.whiley 3,16:18