documenting StaticAnalysis : use of hyperLogLog