org.argus.jawa.alir.pta.reachingFactsAnalysis.model
instead of doing operation inside callee procedure's real code, we do it manually and return the result.
return true if the given callee procedure needs to be modeled