Predicate bitwise_expression_node
Holds if bit is a binary expression node with a bitwise operator.
Helper for this_binary_expr_points_to.
Import path
import python
predicate
bitwise_expression_node
(
BinaryExprNode
bit
,
ControlFlowNode
left
,
ControlFlowNode
right
)