+ public Dictionary<Statement, List<DefiniteAssignmentBitSet>> CopyLabelStack ()
+ {
+ if (LabelStack == null)
+ return null;
+
+ var dest = new Dictionary<Statement, List<DefiniteAssignmentBitSet>> ();
+ foreach (var entry in LabelStack) {
+ dest.Add (entry.Key, new List<DefiniteAssignmentBitSet> (entry.Value));
+ }
+
+ return dest;
+ }
+