This should now be arc consistency and global constraints
This should now be arc consistency and global constraints