https://123dok.net/document/zwv59w0q-a-fast-evaluation-approach-of-data-consistency-protocols-within-a-compilation-toolchain.html