working version of PointsToAnalysis
Following analyses in compositional chain works to produce the correct result for the example in the paper
* ConstantPropagation
* DeadPathElim
* PointsTo
* ConstantPropagation
* CheckDataflowInfo