SemanticAnalysis: added export