It doesn't matter if it's 50 nested ifs or not if we're talking about a recent generation jet fighter - it's going to be hell to test no matter what. Even with

It doesn't matter if it's 50 nested ifs or not if we're talking about a recent generation jet fighter - it's going to be hell to test no matter what. Even with provable control systems you're still at the mercy of cutting edge technology and the whole point of the jet is superiority over a yet unknown adversary with high tech capabilities so the system has be overengineered with that in mind.