assertions added to all files

Assertions added.