Function lower_program 

pub fn lower_program(
    program: &Program<Verified>,
    config: TargetFrontendConfig,
) -> Result<LoweredProgram, ProgramLowerError>

Lowers every function of every module in a verified canonical program.

Modules remain separate: function and constant ids are never flattened or renumbered. Each error carries the module id whose lowering failed.