838839840841842843844845846847848
{ node = get(i); label = node.getSLabel(pred); if (label != null) tree.addArgument(node, label); } return tree; }
846847848849850851852853854855856