Deletes all instances of the HRT counterexample

Building a new tool that can analyze employment contracts and see if it was a good way to save some budget versus a traditional paved parking lot.