https://123dok.net/document/yngnm20p-certified-result-checking-polyhedral-analysis-bytecode-programs.html