void (int x, int y) { if(<warning descr="Duplicate condition 'x < y'">x < y</warning>) { System.out.println("first"); return; } if(<warning descr="Duplicate condition 'y > x'">y > x</warning>) { System.out.println("second"); return; } if (<warning descr="Duplicate condition 'x != y'">x != y</warning>) { return; } if ((<warning descr="Duplicate condition '(y) != x'">(y) != x</warning>)) { return; } }