This rewrite predated partial shape specification in SpecifyShape, and as such ignored possible shape refinement over consecutive SpecifyShapes. It now merges information across consecutive SpecifyShape. Unlike the original, preference is given to the outer SpecifyShape, similar to what local_rebroadcast_lift does.