i think pump pumps the most distant blocks first and nearby last so that wouldn't be a problem. The problem would be if you wanted to drain a lava lake to make space
You have that problem now, 'cause you'll have a ton of sourceless flowing blocks that take a long time to go away, or you need to use a filler to get rid of them and dig it out.