Add WIP semantic analysis.