original.name="Old_Invalid_9"
======
>>> main.whiley
property broken(&int p) -> (bool r):
    return *p == old(*p)

method m(&int x):
    //
    assert broken(x)
---
E320 main.whiley 2,17:19