False Positive: INFINITE_EXECUTION_TIME incorrectly reported for simple terminating while-loop

**Description** Infer incorrectly reports an "Infinite Execution Time" error for a simple while-loop that clearly terminates after a single iteration. ```java // Case 1 public class TestInferBug1 { public static void main(String[] args) { int i = 0; while (i != 3) {// <- should not report(False Positive) i += 3; } } } // Case 2 public class TestInferBug2 { public static void main(String[] args) { int i = 0; while (i != 1) { i += 1; // True Negative } } } ``` **Expected behavior:** Case 1: Should NOT report INFINITE_EXECUTION_TIME because: i starts at 0 First iteration: i != 3 is true, i becomes 3 Second iteration: i != 3 is false, loop terminates Total: Exactly 1 iteration, not infinite Case 2: Should correctly not report INFINITE_EXECUTION_TIME (current correct behavior) **Actual behavior:** Case 1: INFINITE_EXECUTION_TIME error is incorrectly reported (False Positive) Case 2: No issue reported (Correct behavior)