/** FIXME: this null-result can be used to notice bogus/dead states */
for(Object s : state.conjunctStates)
newNode(null, null, n, (State)s, fromEmptyReduction);
/** FIXME: this null-result can be used to notice bogus/dead states */
for(Object s : state.conjunctStates)
newNode(null, null, n, (State)s, fromEmptyReduction);