The case ABCDFG + ABCEFG isn't considered in the current naive version ported from the prototype.
Will it be always better? It may depend on the combination of SizeHints and on "depth" (or some other way to incorporate that cost difference between + and * in MapReduce) in the cost estimation.