Adding SATIterator to the interface of Chase and SAT modules
adding blame-sequent map to provenance information
major refactoring in the interface of Chase and SAT, which makes it possible to perform augmentation and backtracking incrementally