pub fn analyze(program: &Program) -> CompileResult<SeqIR>
Analyze a parsed AST and produce the lowered IR.