stm_nodes.setStmNextNode(s, next);
}
if (s.getFirstAttr() != null) {
ChoiceNode attr = new ChoiceNode(new LinkedHashSet<Integer>(), s.getOrigin());
global_xg.addNode(attr);
left3.addContent(attr.getIndex());
stm_nodes.setStmFirstAttribute(s, attr);
}
if (s.getFirstChild() != null) {
ChoiceNode child = new ChoiceNode(new LinkedHashSet<Integer>(), s.getOrigin());
global_xg.addNode(child);