org.argus.jawa.alir.dataDependenceAnalysis.InterproceduralReachingDefinitionAnalysis
It returns the facts for each callee entry node and caller return node