Semantic Analyzer: updated to current AST spezification