Invariants are always useful! They were a major software engineering innovation in the 80s with languages such as Eiffel, and Lamport for example suggests teach

Invariants are always useful! They were a major software engineering innovation in the 80s with languages such as Eiffel, and Lamport for example suggests teaching concurrency in terms of invariants (for example, conditions that must be respected at the end of all mutual exclusive sections).