Statistics for A General Pluggable Type Inference Framework and its use for Data-flow Analysis