Add AST structure for maintaining polyhedra; Create SemanticsAnalysis module