An Annotated Bibliography on Debugging Optimized Code