if (x > 0)
{
  ...
}
else
{
  ...

  if (x <= 0) ...                                                              /*  "identical condition" */
  else ...                                                                     /*  "the condition is unreachable" */
}
