Adding the debug command line option to error reporter
Changing the BerkeleyDB reporter to report false negatives