IsSmallerOrEqual
Constraint* IsSmallerOrEqual(Variable* var);
Constraint* IsSmallerOrEqual(Variable* var,