But there are already two AoA sensors on the plane. They already made it redundant. They just didn't write code to perform an agreement check as an input to MCAS.

I don't think any aviation expert would agree that the case for requiring redundancy in the MCAS system is weak.