adding to globalliveanalsis, fixing one bug in propagateanalysis