This tactics carry out data compaction on data samples and extract initial diagnostic rule by using rough set theory.

A simple solution is to add a last rule that matches anything, and either does nothing (if you're lazy) or emits some kind of diagnostic.

If a program contains a violation of any diagnosable rule, a conforming implementation shall issue a least one diagnostic message, except that.