public void Visit(DefaultCaseNode node) { }
public virtual void Visit(DefaultCaseNode node) { StringBuilder.Append($" default({node.State});"); }