Moved assertions into a separate crate