Towards FlatZinc implementation: trying to implement variable sequences