public LtlteqTokenElement(LtlteqNodeType tokenNodeType) : base(tokenNodeType)
 {
 }
 public LtlteqTokenElement(LtlteqNodeType tokenNodeType) : base(tokenNodeType) { }