Statistics for Analysis of invariants for efficient bounded verification