Not just a software issue in this case but a combination of software and non-redundant hardware in the default configuration with a single angle-of-attack senso

Not just a software issue in this case but a combination of software and non-redundant hardware in the default configuration with a single angle-of-attack sensor on each side. That missing sensor is far more likely to be related to bean counters than to software developers. Are bean counters licenced?