Function binary_greater_than 

pub fn binary_greater_than<Var>(
    lhs: Var,
    rhs: Var,
    constraint_tag: ConstraintTag,
) -> impl NegatableConstraint
where
    Var: IntegerVariable + 'static,

Creates the NegatableConstraint lhs > rhs.

Its negation is lhs <= rhs.