The above compilation provides a necessary criterion for an OpenCCG task to be solvable.
our actual purpose requires a necessary criterion for an OpenCCG edge e 0 to be feasible, i. e., to form part of a solution.