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