Benchmark for measuring code erosion under iterative specification refinement