public virtual void AddLocalDecl(Decl.Decl d) { if (locals == null) locals = new OrderedHashSet<Decl.Decl>(); locals.Add(d); d.isLocal = true; }