I'd missed the fact that one condition end up appearing in multiple groups (all the examples in TS 29.228 don't do this, but you're right that the schema definitely allows it, presumably as an optimisation so complex expression can be reduced to CNF or DNF form witout evaluation match criteria multiple times).  I agree with you that what I suggested isn't really feasible given this.