Update the use-def analysis
Update the type checker