A test of common assumptions used to infer subglacial water flow through overdeepenings