Debugger for the GOBO-Eiffel compiler GEC