POPL 16 Tool and Benchmarks