public override IEnumerable <string> Visit(Declaration node) { if (node.Count == 1) { return(node.First().Accept(this)); } else { return(node.First().Accept(this).Select(s => s.Replace("__vector_ ", "__vector_") + " ;")); } }