Debugging tools for Broccoli