Некоторые входные данные для моей модели должны привести к несовместимости модели, что приведет к Unsatisfiable.Но Minizinc обнаруживает эти несоответствия во время компиляции и выводит некоторые предупреждения.Я не хочу этих предупреждений.Я просто хочу Unsatisfiable результат во время выполнения.Как их отключить?