path: root/Test/dafny0/snapshots/Snapshots4.v0.dfy

method M()
{
  if (*)
  {

  }
  else
  {
    assert 0 == 0;
  }
}