Lucene.NET with simplified (and correct!) facet behaviour