method M()
{
  if (*)
  {

  }
  else
  {
    assert 0 == 0;
  }
}