Creates an arbitrary that generates VALID NEGATED chains.
Uses inapplicable assertions with 'not ' prefix, so the negated expect() call should pass.
The assertion applicability registry
Chain generation configuration
Arbitrary producing chain args for negated assertions
Creates an arbitrary that generates VALID NEGATED chains.
Uses inapplicable assertions with 'not ' prefix, so the negated expect() call should pass.