Debugging and optimizations for release 2.3, intended for the MiniZinc challenge 2014