LabeledStatement(Label label, Statement statement) : super(StatementKind.Labeled) {
private void labelToString(Label label, StringBuilder sb) { var n = labels.indexOf(label); if (n == -1) { n = labels.size(); labels.add(label); } sb.append("#Label").append(n).append("#").append(label.Name).append("#"); }