lect5 semantic analysis evaluate statements