private int AutomatonQueryNrHits(AutomatonQuery query) { if (VERBOSE) { Console.WriteLine("TEST: run aq=" + query); } return Searcher.Search(query, 5).TotalHits; }