public virtual void AddLiveLocals(Node node, int[] locals) { if (liveLocals == null) { liveLocals = new Dictionary<Node, int[]>(); } liveLocals.Put(node, locals); }