https://123dok.net/document/wq29v4pz-testing-based-compiler-validation-for-synchronous-languages.html