LIMO: combining the best parts of linearization search and merging

Is running this over the non-empty S_i intersections crucial to this strategy or “just” an optimization that takes advantage of multiple searches finding interesting structure in some combined way?