Finished semantic analysis