Since we expressly do not smooth the grammar, not all splits are guaranteed to be beneficial, and not all sets of useful splits are guaranteed to co-exist well.
while v = 3, h ≤ 2 markovization is good on its own, it has a large number of states and does not tolerate further splitting well.