public IEnumerable<ident> GetBoundVars() { foreach (iterassgn a in assgns) foreach (var f in a.GetBoundVars()) yield return f; }