also locking addPredicate, as knownAddresses might pose a race condition
correct tab size for vi
include aux input in auxiliaries for monolithic
benchmarking counters and timers also enabled in debug mode (they are often vital for debugging)
less verbose logging in PredicateMask, in particular if it does not need to do anything
more verbose and human-readable logging for wrong guesses of external atoms
implemented verifyEAtomAnswerTuple which seems to have been forgotten one year ago

somehow this does not change anything in current applications
because output tuples are mostly nonground so the checks here will always be true

however i think this functionality is vital for output tuples
like &foo[](A,B,c) or &foo[](A,A,B)
prettier printing for external atom