PropagateAnalysis