caught bug in arrays with OrExpr/AndExpr bounds