Add analysis of statements, ifstatements and Assignments.