adding globalliveanalysis, adding unify function exit node