Various debugging to handle MiniZinc example problems