So... if the AOA sensor was working correctly, would this crash have happened ?
I have not read or seen any information that indicate that the pilots "stalled" the aircraft.
Also, there is no information indicating a software issue in the MCAS or any malfunction of auto pitch trim.