Update the semantics check section.
Update documentation concerning definite assignment analysis.