Rules for Debugging Marquez