In order to guarantee the convergence of the procedure, we rely on the idea that the goal of the Op classification is mainly to detect OO EDUs among intrinsically O EDUs.
from the perspective of the Op partitioning of the EDU space, the classification is supposed to start with all the input EDUs as Non EvalOp, and then to move the appropriate ones into the Eval Op class.