starting semantic analysis of statements