Generated invariants from .sinv DSL files.
This module is automatically generated by build.rs. It contains compiled invariant definitions from all .sinv files in the invariants/ directory.