https://123dok.net/document/qo5jow37-towards-a-verified-lustre-compiler-with-modular-reset.html