From what I've gathered, all MAX planes (including the ones that crashed) have two AoA sensors, but MCAS just uses one. As far as I know there was never an option to have a redundant configuration. The premium add-on was the indication that they disagree.