void (boolean b) { Boolean c = Boolean.TRUE; boolean o = <warning descr="Condition 'b||c' is always 'true'">b||<warning descr="Condition 'c' is always 'true' when reached">c</warning></warning>; if (<warning descr="Condition 'o' is always 'true'">o</warning>) { } }