Well-formedness checking tests for raises-satisfies, raises-violates.