Debugging framework for Mojito