Implement `wrapAssertion()`