added justification for deactivating singleton loop nogoods for now
deactivating debugging leftover
fixing buildInitialSymbolTable for initializing ClaspSolver with nogood set
fixing symbol table initialization for SAT mode of ClaspSolver
better handling for auxInputMask if there is no auxInputPredicate
helping external atom evaluation debugging
fixed wrong assumption with backtracking recording
increased const-correctness
catching cases were reportModel is called without propagate before
more undo watches and removed assertion

(this fixes problems, but it is unclear why. sent mail to Benjamin)
add 2 UFS test cases
also doing new testcases with genuinegc
only adding undoWatch if necessary

(after getting some hints from Benjamin)
consolidation
bugfix that (strangely) was not required so far
Merge branch 'master' into ps
whitespace
making OrdinaryAtom::unifiesWith silent with #define
more informative error message for component collapsing with cycles
more informative createEvalUnit debugging code