Adapted AnalysisMain to points-to analysis.
Now we only need to work on ProgramBehaviorAnalysis.