https://flang.dev/tutorial/pre_post_conditions https://github.com/tokiwa-software/fuzion
Disclaimer, I work in the Fuzion team.