Extract assertions as a module