It is called Definite Assignment. Read the following links (especially the motivation section in the second link)
Definite Assignment
Definite assignment analysis - Wikipedia, the free encyclopedia