[miclill]

Fuzion has contracts as well:

https://flang.dev/tutorial/pre_post_conditions https://github.com/tokiwa-software/fuzion

Disclaimer, I work in the Fuzion team.