completing the MiniZinc grammar