Statistics for Complexity Analysis of Tunable Type Inference for Generic Universe Types