more Searcher refactor
Merge remote-tracking branch 'upstream/version4' into version4
Merge branch 'version4' into TraceableTriples