Refactor

* Add A* search
* Add squash reads
* Add held variables
* Refactor file structure
* Implement Closure
* Implement IncludeSet
* Revamp Closure using vector clock algorithm
* Add parallel execution
* Clean up makefile
* Remove extra traces, logs, scripts

Add missing file

Modify seen before

Generate witness only for last window