method M()
{
  if (*)
  {
    
  }
  else
  {
    assert 0 != 0;  // error
  }
}