Analyze performs a semantic analysis of the AST, translating it from AST to DAG form, resolving syntax ambiguities, and performing constant propagation.

AnalyzeAddSource is the same as Analyze but it adds a default source if the DAG does not have one.