Local independence of irrelevant alternatives