MiniZinc completeness first version