protected CFGSymbol(CFGSymbol original, Cloner cloner) : base(original, cloner) { arity = original.arity; }
protected CFGSymbol(CFGSymbol original, Cloner cloner) : base(original, cloner) { arity = original.arity; }
protected CFGSymbol(CFGSymbol original, Cloner cloner) : base(original, cloner) { arity = original.arity; }
protected CFGSymbol(CFGSymbol original, Cloner cloner) : base(original, cloner) { arity = original.arity; }