refactored all assertions into a module