LIMO: combining the best parts of linearization search and merging

[sipa]

Interestingly not all orderings work. These do not (will update if I find more):

• S_1 \cap S_2, S_1 \cap S_3, S_2 \cap S_3, S_2, S_3, S_1 \cap S_2 \cap S_3, S_1