2012, we eliminate spurious ambiguity by selecting a canonical derivation for a gold tree.
we design the static oracle (i) to apply COMBINE as soon as possible in order to minimize the size of the memory (ii) to combine preferably with the most recent set in the memory when several combinations are possible.