adding to GlobalLiveAnalysis, minor bug fix in PropagateAnalysis