DO-178C, MC/DC