code cleaning in LocalAnalysis.cpp and PropagateAnalysis.cpp
adding global live analysis