Trying to improve on the results with k = 3, we expected that adding a (limited size) right context, which is performed using k, l-local merging, would provide a gentle way of restricting state-merging (with respect to k-testable with the same k values).
this turns out not to be the case.