[New] added DBC.PRE.assert*Empty(File)