A debugger for O2, an Object-Oriented Database Language