Correct and Efficient

• Semantics do not depend on definition order

• Intelligently uses dicts, binary search, etc.

• Fanout optimization and dependency detection:

  • Tests “more selective” rules first
  • But only if precondition expressions met first

• Performs many checks “in parallel”

Notes: