feature: all input nodes must have same nexts