Buggy termination analysis?

[debugfe]

Hey,
I think I found a bug in the termination analysis of 2ls:

extern int __VERIFIER_nondet_int(void);

int main () {
  if (__VERIFIER_nondet_int()) 
    return 0;
  
  while(1)
    ;
  
  int i = 0;
  while (1) 
      i = i + 1;

  return 0;
}

This is a non-terminating program but the following command returns TRUE or FALSE(termination) non-deterministically:
./2ls --propertyfile termination.prp test.c
I am using the version from last sv-comp here.