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