BitwiseExpressionSimplifier
