At an Airline-ATC meeting 2 years ago, I was told by a supervisor that once a crossing restriction had been superseded by a new lower altitude, that the level restriction became at or below. e.g initial restriction GWC at FL 130 superseded by descend FL 110, meant you still had to cross GWC at or below FL130.