Rule Sanity Checks

The --rule_sanity option enables some automatic checks that can warn you about certain classes of mistakes in specifications.

Todo

This section should be expanded.