void (boolean a, boolean b, boolean c) { if(b) { // c is never checked: probably not intended; report assert a || <warning descr="Condition 'b' is always 'true'">b</warning> || c; assert a || c || b; } }