https://profilbaru.com/article/Definite_assignment_analysis