Refinement for floats on branching unsound for `Div`

[michael-schwarz]

int main()
{
  int res = 0;
  if(0.0 / 5.0 == 0) {
    res=1;
  }
}

For this program we report both branches as dead.