Fixed a bug that will cause incomplete pointer-equivalance finding
Merge DefUseGraph into PointerCFG.
Futher separated the implementation of BasicInterpreter and
SemiSparseInterpreter