Add finite domain ordering constraints.
Add integer interval variable and constraints.