Live variable analysis of the a simple procedural programming language.