feature: all input nodes must have same nexts

No match.