Further Refinements for better Debugging