Artifact for the paper Verifying Array Properties in Pure Data-Parallel Programs - View it on GitHub