add a ReportManager class for generating the report of local's point-to sets, and automatically generate the reports for all application locals, so that later only need to use the SummariesEnv.v().rm.getReport(Register r) to get some local's point-to set