fn program_ir(db: &dyn LoweringDatabase) -> Result<Arc<Program>, ChalkError>