https://5dok.net/document/dy48v30q-verification-of-loop-parallelisations.html