org.argus.amandroid.alir.pta.reachingFactsAnalysis
generates and returns the initial facts corresponding to the "Intent" parameter of a dummyMain the generated fact says that the param Intent is generated at the Center.