13 Changing Assumptions add(Element) addAll(Set) [add] Assumption made by reuser (before change) CountingSet Assumes add(Element) addAll(Set) [] What can be assumed (after change) CountingSet Actually gets
{}