Add inequality constraints.
[shared-tests] Synchronize
More work on constraint support.