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 pythonpredicate bitwise_expression_node(BinaryExprNode bit, ControlFlowNode left, ControlFlowNode right)