made DirTrips work again, with testcase
added DocumentRepository.required_predicates to require certain predicates to be present in output. Changed about one billion testcases that were revealed to be incorrect.