int main ()
{
  int tmp;
  int p_9 = 60;

  tmp = (p_9 +1) % 0;

  if ((p_9 +1) % 0) {
    tmp = 1;
  }

  return (0);
}

Add problematic example, bot in invariant
Add problematic example, bot in invariant
