public void addSuper(State sup) { if (supers == null) { supers = new List<State>(); } supers.Add(sup); }