original.name="Old_Invalid_6"
======
>>> main.whiley
method m(&int p)
ensures old(x >= 0):
    //
    skip
---
E407 main.whiley 2,12