path: root/Test/dafny0/snapshots/Inputs/Snapshots0.v0.dfy

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

method bar()
  ensures false;