I assume you can walk up to it and turn it by hand to at least see that the mechanical part is moving freely as-of now.
In addition you should be able to cross-correlate with gyro and airspeed sensor, not to check the absolute AoA, but certainly determine if delta-AoA is near zero (frozen) or not.
But the readings with the vane flapping around should have a significantly higher variance than the readings where the vane has frozen stuck. In addition, a sliding average should show the mean moving around significantly compared to the frozen readings. Surely they should be able to discriminate between these cases based on those factors, especially when cross-correlated with other sensors.