element.setContent(left2.getIndex());
left2.getContents().add(left3.getIndex());
if (s.getFirstAttr() != null) {
ChoiceNode attr = new ChoiceNode(new LinkedHashSet<Integer>(), s.getOrigin());
global_xg.addNode(attr);
left3.addContent(attr.getIndex());
stm_nodes.setCopyFirstAttribute(s, attr);
}
if (s.getFirstChild() != null) {
ChoiceNode child = new ChoiceNode(new LinkedHashSet<Integer>(), s.getOrigin());
global_xg.addNode(child);