public override void Visit(LabeledStmt stmt) => stmt.stmt.Accept(this);
public virtual void Visit(LabeledStmt stmt) {}
public override void Visit(LabeledStmt stmt) { this._labels.Add(stmt.label); stmt.stmt.Accept(this); }