count the number of invariants for daikon