Characteristic predicate BitwiseExpr :: BitwiseExpr
BitwiseExpr
(
)