The search stops with the first consistent solution (as we suggest in the present paper).
it is difficult to quantify the number of cascades needed to come to it and moreover, the full ILP machinery is being used (so again, constraints need to be extensionalized).