Fix incorrect name in debug message.
Bugfix for Booleanised domains not being passed to MIP solver in some cases, courtesy of Eoin O'Mahony.