return new Or(info, a, c).optimize(cc);
}
if(c == Bln.TRUE) {
if(b == Bln.FALSE) {
cc.info(OPTPRE_X, this);
<BUG>return cc.function(Function.NOT, info, a).optimize(cc);
}</BUG>
cc.info(OPTREWRITE_X, this);
<BUG>final Expr notA = cc.function(Function.NOT, info, a).optimize(cc);

return new Or(info, notA, b).optimize(cc);</BUG>
}

return new Or(info, a, c).optimize(cc);
}
if(c == Bln.TRUE) {
