General duty to take precautions against inrushes
3. With respect to every working in a mine, it shall be the duty of the manager to prevent any inrush into the working of—
(a)gas from disused workings (whether mine workings or not), or
(b)water or material that flows or is likely to flow when wet from any source.