Suggest more quickly count predicate total number

[dmai (Daniel Mai)]

Instead of using has() you can use can indexed function as the root func. There is also a count index that may be useful for you here.