Variable Scoping and Definite Assignment:Definite Assignment