implemented liveness analysis. this does not include checking for initializers !!!
somehow the liveness analysis does not catch this