Quick hack to really print real names of elements in the MiniZinc files.