PROBCORE-158 Improved error logging for EventB