WIP: Bug Fixed. Backtracking seems to work

* TODO: more testing
Bug fixed: ForAll clash d-set value updated