Fix bug in tracing: handle pointer aliasing.
Applied same fixes for FastBlameAnalysis2.