Testing for violations of the Independence from Irrelevant Alternatives