public void putRef(Node node, Binding b) { List<Binding> bs = new List<Binding>(); bs.Add(b); putRef(node, bs); }