Member predicate Comparisons::ComparisonControlBlock::controls

Whether this conditional guard determines that, in block b, l == r + k if eq is true, or l != r + k if eq is false,

predicate controls(ControlFlowNode l, CompareOp op, ControlFlowNode r, float k, BasicBlock b)