Use correct assertions module