path: root/Test/dafny0/snapshots/Snapshots0.v1.dfy

method foo()
{
  bar();
  assert false;
}

method bar()
  ensures true;