Fixed a bug related to the def-use chain reconstruction during pointer
equivalence finding.