Statistics for Composite Constant Propagation and its Application to Android Program Analysis