Moldable Debugger in Pharo

Pharo has a moldable debugger built in. So you can even customize the debugging experience for own needs. Look at this debugger for formal specs for an example: