https://123dok.org/document/1y9642ly-software-model-checking-via-large-block-encoding.html