Fix BlameAnalysis::trace to handle pointer aliasing.