Implemented additional constraints for FlatZinc