If the software observes that AoA remains completely constant on two sensors despite the significant flight control inputs produced by alpha protection, meanwhile the third sensor shows changes in its readings consistent with the commanded manoeuvre, isn’t that a pretty good indicator that those 2 sensors are frozen?