This is a study project for TUDelfts compiler construction course. The liveness of a method can be assessed though this project