Statistics for Automatic determination of may/must set usage in data-flow analysis