/// <summary>
 /// Initializes a new instance of the <see cref="State"/> class.
 /// </summary>
 /// <param name="userAgentTreeFlattener">The <see cref="UserAgentTreeFlattener"/>.</param>
 /// <param name="name">The name of the node.</param>
 public State(UserAgentTreeFlattener userAgentTreeFlattener, string name)
 {
     this.userAgentTreeFlattener = userAgentTreeFlattener;
     this.name = name;
 }
 /// <summary>
 /// Initializes a new instance of the <see cref="State"/> class.
 /// </summary>
 /// <param name="userAgentTreeFlattener">The <see cref="UserAgentTreeFlattener"/>.</param>
 /// <param name="ctx">The context.</param>
 /// <param name="name">The name of the node.</param>
 public State(UserAgentTreeFlattener userAgentTreeFlattener, IParseTree ctx, string name)
     : this(userAgentTreeFlattener, name)
 {
     this.ctx = ctx;
 }