assertions added to all files