History

for article: Definite assignment analysis