It turns out that the domain of interest for MC/DC coverage-- that is to say embedded control systems that happen to be embedded in avionics systems end up having generally lots of complicated conditionals. 