Syntax check finished; Semantic check to be done.