Predicate Base::bitwise_expression_node

Holds if bit is a binary expression node with a bitwise operator. Helper for this_binary_expr_points_to.

predicate bitwise_expression_node(BinaryExprNode bit, ControlFlowNode left, ControlFlowNode right)