https://123dok.net/document/y6e9gdng-encoding-conformance-checking-artefacts-in-sat.html