Assertions to check properties of files and connections
