void (List<Point> points) { int a = 0, b = 0; for (Point(int x, int y) : points) { if (x == 1) { a = 1; } if (x == 2) { b = 1; } if (x == 2 && <warning descr="Condition 'b == 1' is always 'true' when reached">b == 1</warning>) { b = y; } if (<warning descr="Condition 'y == 12' is always 'false'">y == 12</warning>) {} } if (a == 1 && b == 1) { } }