Statistics for Enforcing Abstract Immutability