>

A finite domain constraint. u must be greater than v. u and v
 must eventually be given domains if vars.