Termination analysis: Wrong RESULT: true

Hello everyone, 
I found another bug but this time symbiotic's termination analysis returns erroneously `RESULT: true` 
```
void test() {
  int counter = 0;
  while (counter == 0)
    ;
}

void runTest() {
  test();
}

int main() {
  runTest();
  return 0;
}
```
I managed to checkout the recent fix for https://github.com/staticafi/symbiotic/issues/268 and it seems the bug remains.

