Fix illegal interval error.
Fix (bad) typo.
Remove loops from finite domain constraints.