Idiom # 123: Assert condition
Fuzion supports contracts via pre- and post-conditions. See:
Design by contract
Invariants do (mostly) not make sense in Fuzion since use of mutable data is discouraged and should be avoided.
One possibility to emulate assert conditions is by calling a feature with a pre condition.