Redundancy in linear inequality system