Missing upper bound removal