Member predicate CompareNode :: operands
Whether left and right are a pair of operands for this comparison
predicate
operands
(
ControlFlowNode
left
,
Cmpop
op
,
ControlFlowNode
right
)