Member predicate Public::RelationalComparisonNode::leq

Holds if this comparison evaluates to outcome iff lesser <= greater + bias.

predicate leq(boolean outcome, Node lesser, Node greater, int bias)