public override IEnumerable<Statement> GetChildren() { foreach (var an in AttributeNames) yield return an; }