Member predicate ControlFlow::ConditionGuardNode::ensuresLeq
Holds if this guard ensures that lesser <= greater + bias holds.
predicate ensuresLeq(Node lesser, Node greater, int bias)Holds if this guard ensures that lesser <= greater + bias holds.
predicate ensuresLeq(Node lesser, Node greater, int bias)