Statistics for Static Conflict Analysis of Transaction Programs