New constraints for FlatZinc