select ()
{
  case ...:
    y = x ** 2 + 1;
  return;

  case ...:
    y = x ** 2 + 1;                                                            /*  "condition branches are the same" */
  return;
}
else
{
  ...
}