Function codegen_program 

pub fn codegen_program(
    stmts: &[Stmt<'_>],
    registry: &TypeRegistry,
    policies: &PolicyRegistry,
    interner: &Interner,
    type_env: &TypeEnv,
    cfg: &OptimizationConfig,
) -> String