@Kimon:
A failed sensor is something different then sensing identical but - wrong - information.
In case of a failed sensor the FW bit is set and this enables a system to respond to it, as you described.
But the T7 will sense the same -wrong- information, like the EVA A330 did, because the 3rd comparable value is the average of both sensors.
3 identical AoA is accepted as GOOD information.