No. There *should* be no way for the lava to overflow like that. Nobody else that's played the map has reported that happening, and I've definitely never seen anything like it in my dozens of playthroughs. I'd be curious to look at your world save and see why it happened, because something's definitely wrong.I've come across a problem in the holodeck area.
I'm spawning in the middle of this lava, and there's no way to get to safety. Did you mean for this to be able to happen?
While I'm at it, I can get rid of the lava for you, and send the world back, so you can continue on without issue.