pub fn build_ir_with_safety_context( ast: CppAst, _safety_context: SafetyContext, ) -> Result<IrProgram, String>