Function collect_order_facts 

pub(crate) fn collect_order_facts(
    expr: &BoolExpr,
    less_than: &mut BTreeSet<(Expr, Expr)>,
    positive: &mut BTreeSet<Expr>,
)

Collects simple unsigned ordering facts from normalized constraints.