path: root/Chalice/tests/regressions/internal-bug-3.chalice

class C
{
  var f: int
  method M ()
    requires acc(f, 100-rd(non_existing_field))
  {
  }
}