This merge request implements general one-step satisfiability (see Oliver Grosch BA).
ToDos:
-
Cleanup (see comments below) -
Implement a flag to explicitly switch to one-step satisfiability as it is very inefficient when other procedures are available.