org.argus.amandroid.alir.pta.reachingFactsAnalysis
return true if given package name contained in the scope manager
return true means use in scope mode, any package defined in ScopeManager will be keep during the analysis, and vice versa.
return true if given record needs to be bypassed
return true if given record needs to be bypassed