add new Min-replacement pattern to compute_cdf