Purpose
In CHECK Region, abort the rule that has just matched. Noop elsewhere.
Syntax
fail()
Returns
Remarks
Constrained to appear directly in the CHECK region, not within functions defined in the DECL region.
Described both here and in Special Functions.