This module provides old (Spectre v1) style assertions for compatibility reasons. This will be removed in the future