Debugging optimizer